How expensive is the ticket, is it something you are going to pay the change fee on to use at a later date?
If not, then dont say anything, why waste your time, they got their money
If it were me, I would not say a thing, I can not be bothered with that. And, what if something happens and all...