I run an F935 with 72" Commercial deck, mowing about 16 acres. The gearbox on the deck just failed, not sure how or why, but need advice. From what I can see online, new gearboxes are upwards of $1000 if you can find one, even used start at around $400. This is an older mower, so only...