I bought tickets online and was able to skip the l...

I bought tickets online and was able to skip the line at the ticket booth and print them out at a machine. The machine was out of the way, however, so I had to ask about it.