Generally, a 10% tip is included in the bill of hotel services, restaurants, cafeterias and places like that, so be careful with that so you don´t double tip.

However, individual staff _as everywhere else in the world_ appreciates a gratuity to the service rendered.