 And going back to pre-update. So we'll see how long that takes. But the U.S. is waking up now with, as you mentioned, Gary, many people. It's Friday. So many travelers getting out, trying to get out on an early flight. If they're a business traveler, this may be when you're going home or to your next business destination. But so many travelers. It's been pretty busy this summer. I was just reading a report just the other day.