Tipping is very much the individual's choice according to service. A tip of around 10% is standard.