I must say, I always add a tip on top of the "room service gratuity" already on the bill. Having worked in the service industry, I doubt the server is getting rich off my extra 10%.
I just wonder how much of that the server is actually taking home...I suppose I should start asking.