So did the Americans here have a good 4th of July?