Was this OK?

Think he was very lucky! Personally never tip taxi drivers, shuttle drivers etc, might round it ip, but that is all, fare £8.95 and give him a tenner and say keep the change.

there is no "right thing to do"

if it makes you happy to give him £10 that's up to you

it's not like the US where not tipping gets you into trouble

I believe proper protocol for tipping shuttle drivers or private transfers is 1 GBP per bag if traveling to the city center, beyond that I might add a few more quid. But for taxi's around town I do just round up. I'm sure many people don't do that, but I don't mind doing it if I've had a nice and pleasant ride.

Appreciate the replies- question to Caro- I understand the rounding up if you pay a fare, but the shuttle was included in our tour costs. So I was wondering in that case I should have done more or less? Or not at all? He did push our luggage trolley out of the airport, loaded the bags and took them up the stairs to the door of our hotel. I want to do the right thing on our return trip.

And one more question regarding tipping. I read through the previous questions about tipping at restaurants. It seems that the service charge is the tip? But on the credit card slip, there was a line for gratuity. Our bill was 35 and change and I rounded up to 40. Once again, was this OK, too much, too little? We are staying at the hotel all week and this was in the hotel restaurant so we want to make sure we are doing the right thing. Thanks so much! By the way, it was a 12.5% service charge.

Some advice on tipping and service charges from RS: https://www.ricksteves.com/travel-tips/money/tipping-in-europe

It seems that the service charge is the tip? But on the credit card
slip, there was a line for gratuity. Our bill was 35 and change and I
rounded up to 40. Once again, was this OK, too much, too little? We
are staying at the hotel all week and this was in the hotel restaurant
so we want to make sure we are doing the right thing. Thanks so much!
By the way, it was a 12.5% service charge.

Yes, the 12.5% service charge IS the tip so you double-tipped, plus the tip you DID give was much higher than a Brit would generally give.

That line for a gratuity is there to catch you out... ;-)

Don’t worry about it, but in future if there’s a service change (generally 10 or 12.5%) that is the tip and there’s absolutely no need to tip more.

If there’s no service charge, and you were happy with the service, 10% or 12.5% is usual - but absolutely not expected, in the way it is in the US.

Sounds like your driver was very helpful. He’ll be very happy with £10.

Must say that if it had already be paid then he has already been paid. Sorry

Service charges in restaurants in the UK, whether voluntary or compulsory are not really a tip. It is a fee paid to the restaurant who need pay not one penny of it directly to the staff, though they may do. Policy is usually stated on the menu, at least when it seems positive. It is a trick to make the prices look cheaper than they really are. Of course you are under no obligation to pay a voluntary service charge or a 'real' tip if you so choose. You should pay a compulsory one.

I tip for a special service or beyond-the-call experience, which certainly would not include van or taxi. Same for France and Germany. Unless someone has a mobility issue or a burden of luggage, the Piccadilly Tube line to Heathrow from various Kensington Tube stations is easy and, except at rush hour, fairly comfortable.

kristen, I applaud you for coming here to ask, wanting to learn, and wanting to get it right. That’s class.
Even Americans in the US often get it wrong. They undertip, or worse, don’t tip at all.

Thanks everyone! This was very helpful. I just want to make sure we are doing the right thing and being respectful and appropriate. Most of my experience is traveling in Italy where it seems that the service charge is the tip. So this is a bit different for me!