Soooo... he hung around Washington for 11 hours? Cool
Yep. Sneezing into paper towel dispensers, licking hand rails, etc..
I read it as not quite 3 hours.
Arrived Washington Dulles at 18:36.
Departed Washington Dulles at 21:29.