I don’t know if it’s across the entire UK but most restaurants in London add an automatic 12.5% gratuity. Only way to remove it is to ask the server which is far more awkward than choosing a tip privately.

But 15 quid for a sandie.