We eat out a lot over the many winter months we spend there.

Increasingly I have noticed that rather than add the tip, they put a scale on the bill telling you how much it would be at 15/18/20 %

Something local friends said to us: many people calculate the tip on the before tax value of the bill!