That was fixed by AH Autos at Guildford who are very good, so I don't doubt it was done properly.
This morning, the missus went out to use the car and couldn't engage any gear.
I tried and (shock/horror!) she's right - the car is at fault.
There's pressure in the clutch pedal, all the gears slot in nicely with the engine off but, when you start it up, none of the gears will snick in.
Is this a common issue?
I haven't checked the clutch fluid (is it the clutch master cylinder that's almost buried under the rear engine bulkhead?
) but, because there's pedal pressure, I have assumed it is disengaging but (perhaps) not enough.Any useful suggestions very gratefully received.

