I changed the 80w90 gear oil in a friend's Bush Hog rotary cutter (SQ172) last year in May and has approximately 12 hours on it. Manual gives no schedule on changing the oil just refill to bring level to check plug hole. How often should this gear oil be changed?