We always tip extra. Those people are working for months on end and probably never see a dime of those prepaid gratuities.
We figure the least we can do is give them a few bucks for getting me a drink, making my bed, and bringing me dinner every night.
A few bucks can change those peoples lives.