Your best option would be to call the box office. Please check their website for the hours because the box office is not open every day.
Definitely call the box office/theater office they will help with everything 👌🙂
Thanks! Your answer is awaiting moderation.