$2000 with a bucket and even if you do have to hire a $1000 of repairs is still pretty good. Most of the 1010s I see with buckets are in the $4000 range and up. And some of those are beaters.
About the cheapest 1010, that runs, I have seen is hovering around $2000.
If you can talk him down a little then great but if the rest of the tractor checks out I still think you're ahead...at least the few I've seen around these parts.
Let us know what you decide. I'd be interested to see how it all works out.
Oh my manners
...Welcome