[GordonS]

It's not mandatory in the UK either. It's certainly pretty common in restaurants, as long as they don't already add a service charge, but it's unusual to tip in just about any other situation.