Where I come from tipping means rounding up to the next round sensible number. That is marginally more expensive.

15% to 20% as customary in the US is anything but "marginally more expensive".