I'd go for the 10%-15% in the UK as well. But I'm never sure where to draw the line - I have paid bills as high as £150 - and I don't tip £15 - £20! I would prefer it if the restaurant added a service charge but if they do - do the staff always get it? Decisions, decisions...

Cheers

DtG