I did the same but the show was Hoop De Doo. We also were told to just tell them when you picked up your tickets and they would issue a credit on your card. In the end we decided to continue with paying out of pocket and made ADR's for the rest of our credits.