It can get really busy depending on the hour. Maps has a section that shows you how busy. Mornings and after lunch are the best times. 5-9pm are really busy. Weekends are generally a good time to go too.
I haven't been..
It depends on the time you go ..... I have gone at different times and it doesn't get very busy.
It gets busy but they have a ton of machines so you're never really without one or waiting on one even at peak times
I'm not from there but I was down there in March and in the evening about six or seven it was fairly busy but it's so big that there was still plenty of room.
Thanks! Your answer is awaiting moderation.