[bschwindHN]

Weird, I visited last year and don't remember having a hard time getting tickets. Maybe I got lucky.

Here are a couple photos I took with people for scale:

https://imgur.com/a/DPYYou4

[razkarcy]

Thank you for these; they convey the relative proportion very well and have satiated my curiosity.