Well, the starter motor was £130 plus vat and with an hours labour it came to £200.
BUT.... bad news today, I had a phone call.... "The car won't start"
Everything was normal, but no response from the key, so I bumped it and it was returned to the garage. It seems, that in a strange quirk of fate the ignition switch failed, thus energising the starter circuit, so the starter stayed engaged against the flywheel as the car was driven, hence it burnt the starter motor out
New Switch £150
New Starter (again) £132
Labour £88
Recover to dealer for coding £40
Coding £50
All plus Vat
Cars tested my patience this year, it's been very good up until now but the time might be approaching.