I'd say that's reasonable considering what's involved in getting the gearbox out. Drive shafts out, IRD out, wishbones off, subframe off, drop engine, remove engine mount, finally pull the gearbox. Then replacing everything inc. clutch bleed. Lots of work and will take a garage best part of a...