If those tractors were out my way they'd probably already be sold providing the guy was willing to negotiate a package deal.
I think people today have forgotten how to negotiate, after years in the car business, I see it more and more. I can't believe how many will walk away and never ask the price or try and bargain a deal just because they don't like the price or they saw it advertised elsewhere cheaper.
About four months ago I bought a rough, not running HT23 at an auction in Northern NJ, I paid $220 for it, it had two dryrotted front tires that didn't hold air, the engine was apart and the back tires didn't match but both rims were good. I needed the back rims.
I took the two un rusted back rims and stole the headlight bulbs from it and listed it on CL for $800. I sold it about a month later for $450. I would have taken anything over $200 for it but the first buyer to show up made a deal for it. One man's junk is another man's treasure sure holds true with old tractors. Personally I only buy older machines, I try only to mess with the 1250 and 1455 models.
For what ever reason, tractors don't go cheap here, the best deals are at auctions where they don't belong, if you go to an all lawn and garden equipment type auction you'll pay top dollar and then some. Its the weekly auction houses where there's not hoards of buyers looking for old tractors where you find the best deals.