I'm not 100% sure what all was done to the motor, but it's home now. Bill was only $600. I pulled a cultivator with it yesterday, as well as pushed some down trees back up in the woods. Engine sounded fine, and didn't burn any oil. Maybe I'm good to go.
I had the local JD dealer stop by this morning to see what it would be worth on a trade. They had a very good deal on the new side, but were a little low on what I would want for my tractor. We're $4,400 apart, so I guess i got no choice but see how far it'll go.