George - as Luke advised, tipping is not customary here but if you have an exceptional trip with exceptional service, then you should feel free to do so. The difference here is that it is given to show appreciation for exceptional service, not a given thing like in the USA where it is expected even for crap service.