Depends on if it is ready to run or needs to be freshened up. Being used I would always assume it's going to need work unless stated otherwise. Two thousand seems to be close to the going rate +/-$500
If you find one that needs work I'm sure it is not going to be cheap or easy to find parts. Keep that in mind when deciding how much to spend on a unknown unit.