I would say "well travelled Brits" probably tip, but we have been out for meals with those less worldly & mention of a tip was greeted with emotions varying from horror to abject confusion. A tip here is viewed as a bonus for good service not an automatic award, & generally 10% would be regarded as the Max. If the place puts service on the bill we generally leave nothing extra. We prefer no service charge & tip cash so the staff get it. I think the cruise tip tradition is a con to get us to pay the wages, we do it but I find the whole thing buttock clenchingly embarrassing.