 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.