 And welcome in. It is Monday, start of a new week. The first day of the month, by the way, July the 1st. And, of course, we've got a big holiday coming up in just a few days, July the 4th, which is a huge national holiday. A lot of people will be traveling. In fact, Ted, I saw where summer holiday travel season.