I popped in to a couple of local garages today, to see about gearbox repair. The first guy I went to declined quoting, as he has only one ramp and couldn't tie it up while gearbox was out. The second was a bigger garage (part of a small local chain). The mechanic I spoke to is ex Honda and told me that the last one they did cost "around £900" and was only that cheap because he replaced the bearings himself. For non Honda gearboxes they send them "down south", to a specialist repairer, and that puts the price over £1000. I think I will be availing myself of the services of Top Gear, in Rutherglen. It is a bit inconvenient for me, but I could get a taxi to run me back after dropping off, then again to pick it up, and still be well in pocket. As it is I will just have to bus it! Top Gear's quote, £260 + VAT in car, £180 + VAT out of car. I'll arrange it as soon as I have a free space, time-wise (when I don't NEED car).