We are a bit of an anomaly, caught between places in Europe where tipping just doesnt happen and the US of A, where you tip even if you have shite service...
I echo whats been said a few times before, 10% and rounding up to the nearest 10 kinda works for me.