@Mauve_matelot Peak tourism in DC is during the miserable summer months. It's also when demonstrators flock to the city. Late September and October are better, as are April, May and early June. You'd think people would know better, but it's the same thing every year.