Hi, Im going to change the gear oil on my 172 cup. What do people recommend? Cheers. PS. can a mod change the stupid spelling mistake (gear box oil) :)