When the doors open.
It might depend on the show. The past few times I've gone there my tickets were printed from home. I'm pretty sure they should give you your tickets when the box office opens though. Maybe try calling and see if you can get through to find out.
Thanks! Your answer is awaiting moderation.