Gear box repair