Anything I charge to my room is either comped or paid for with RCs. So I really don't care about a 25% discount.

However I did buy stuff in the gift shop with a Total Rewards gift card and I did get the 25% discount when I paid with the gift card. The gift cards were comped. So I got a 25% bonus on top of the comped gift cards.