I think it is a little high. I bought this Ford 3055 for $3500, with a wore out 6 foot JD rotary cutter 8 years ago. It is essentially the front end of the 3000 with the rear end of a 4000. But it put out 54hp.
Easy to work on and parts are no problem. Only regret selling it when I bought my Mahindra 620 4WD with loader and backhoe. I would love to have it back for mowing and BB work.
Good luck and happy hunting.
hugs, Brandi