Gearbox repairs