They will have your tickets waiting for you when you get there. Right at the desk easy peasy
Pick up right at the front desk.
The front desk keeps the tickets. When you arrive (few min before seating opens) you can get them under your last name
Call them but i believe they will be at front h desk
Thanks! Your answer is awaiting moderation.