In my limited experience, the crowds are less maddening at night. We went in November, so maybe that had something to do with it, but during the day it was busy even then. (Maybe in July the crowds are big enough at night to be maddening, too.)
I agree with you on the other two places, too.
Yes, I think the summer crowds are overwhelming. Off season, things are a bit easier.