Anyone know what type of oil to run in the front wheel hub on this tractor? A friend just did some repairs on the RH front hub. It has a ring gear and pinion with a planetary and it had 80w90 gear oil in it. just checking if that is what it is supposed to have. Thanks in advance.