What too do if you lose your tickets

Also check with credit card company if that is how you paid for them.

Collect all of the information you have and go to the box office.

Call them and let them know

I would definitely call and let them know. You will need all the info you used to buy the tickets.