What type of oil is used in the gear box on a John Deere 616 Rotary Cutter?