wont that cost loads to get done?? I'm thinkin (lookin at the prices of second hand gearboxes) i can get the box for £200 and my local have said they'd do it in 4 hours, that's about £200 also, whereas if i were to have it repaired, it'd cost a lot more than that wouldn't it?? Or not??