I hope at least $1700 less than it was worth.The diagrams are available free from www.jdparts.com after you register-it takes a little getting used to but if you think like a "parts guy" then it come easy, it's the same system the dealer uses.
What did you pay for this machine? Was is a private sale?
wonder if this was a case of
"ptoshafttoolongitis"
a terrible condition to encounter,
and certainly doesn't sound like
an unknown problem.