I was just wondering something... When they add the tip on the bill, do they include that as part of the total when calculating tax? I'll have to check the next time I order room service. Perhaps others have noticed?