Repair of industrial gearboxes