I just bought a Bush hog 105 used off a guy. Looks to be in real good shape. Not sure on how old it is. My question is what type of oil do I use in the gear box? Not knowing when it was last changed I thought it would be a safe bet to change it before I use it. Thanks for any help