Automatic tipping is the bane of western civilization. How are you supposed to reward good service then you are supposed to tip EVERYONE ?...
OTOH, if you can afford to tip you should since the people working are getting screwed by management and only making 20$ a night.... and if hulla-goers get a reputation as bad tippers there may be more problems in the future getting a venue and then we would all be sad.