I don't usually travel in May, so I had to go look - that was the usual May closing time last year except a couple weekends when hours were extended til 10 or on EMH nights. Were they usually later in prior years? Fireworks, of course I can't compare because they're new this year.