Although tipping is optional, we recommend you always tip staff 15% if you are happy with the service and attention they have provided.