FWIW, Dulles had a surprising amount of traffic today in the terminal. Don’t know if it’s a result of funneling in from other hubs or organic, but compared to ORD the past two weeks, the place was packed.