I've found a JD 4200 with 50 hrs on it for $7500. It is 4WD HST model and has a mid-PTO, and appears to be in good condition.
Currently I don't know the year but these were made between 1998 and 2001, I think. I've learned I can get the year if I know the serial #.
I just need to bush hog...