I got there at 8 am (they open at 8:30) and there was a big line in front of me. I was a bit worried that it might take a long time. They let everyone in at 8:30 and first 20 people where given tickets before opening and they proceeded to the counters, the rest queued up for the tickets. I was #21. It took only 25 minutes from the time they opened at 8:30 am to the time I left. Very quick service and people are nice to deal with.