We don’t tip hugely in the UK because we pay waitstaff a(n almost) live-able wage, but it’s customary to tip 10% if they don’t do anything terrible and more if it’s above and beyond the usual.
I came to the same conclusion recently though and it is in part due to me having more and more disposable income - always tip…