Really? I've seen it in heaps of places in London - adding 12.5% "gratuity" is common at many places where you'd pay ~£15+ pp.