Do any of you guys change the grease in your mower deck gear boxes? I've had my 62C deck for 6 years now. Just wondering. I don't think that there is a service interval listed in the manual. Looks like it would be a pain to drain.