I am looking at purchasing an early 2000/late 90's JD 709 rotary cutter. I know that JD had some issues with their gear boxes (on the MX series I think?) and I wanted to make sure that this wasn't one of them. Any advice would be greatly appreciated.