Gearbox oil service