If one buys the ticket for the musical for 25 dollars after the lottery, what happens to the original ticket that they already bought?
Does it become a waste or do they get refunds?