Yes 10% is around the correct rate. There's no such thing as a 'correct rate' in the UK when it comes to tipping. If you can afford to tip, and we're happy with the service you received, then it would always be appreciated I'm sure. If you can't afford it, it weren't happy, then don't.