I'd already put it all back together assuming that all was well after the cylinder replacement. Spoke to a company in Morley that specialise in gearboxes and they reckon between £100-150 depending what's up, so about the same price as a 2nd hand box, only I know what I'm getting in this case should be good for ages so it sounds like a good deal to me