I would agree that the tip should be 15-20% of the cost of your spa service. I love to get spa treatments, but have yet to try one at WDW. It seems as though we are always so busy when we are there...next time I need to stop and smell the roses, and get a massage!