Without seeing it its hard to say, but if it has a diesel engine, rack and pinion rear axle, a loader with skidsteer adapter plate and a canopy on it that $12K is in the ballpark. I can't think of any modern tractor that could do the same job that the old 2020 will handle without adding 20-30 horsepower.