Fellow DebConfers, This is obviously something that hasn't been said by the hotel people, but a personal observation. I've seen that most people never tip, and to me it feels rude. The waiters still rely on tips even if you don't have to pay for the food, and they're usually very helpful and provide good service. So, try to be generous from time to time. -- Martín Ferrari