I looked at an MX7 a few months ago that had the same broken shaft, a friend was interested in it. From memory, the gear is machined onto the top of the shaft from the same stock, and you had the buy the set including the input gear. JD was pretty proud of it, but there was an aftermarket company that was fairly reasonable, I'm thinking in the $500ish range - seems JD was around $1500 or so.