$1000-1200. Maybe a couple hundred more if it's REALLY nice.

I highly doubt it's actually HUO, and would be inclined to not trust someone who claims that on Craigslist, especially if it has been relisted so many times. There aren't many pins more than 10-15 years old that're actually HUO.

I see them sit at 1k, so slightly under would be fair in my opinion

Average right now on ebay this year is $1183. If it is actually HUO and looks like that it will bring more than $1200. If it is mint his $2000 is not out of line in some locations but if it has been listed several times and has not sold I would guess it is not mint.

So my guess is $1200 if average and $1500 if mint. That is a good machine for that kind of money IMO.

I sold mine working last summer for $1200 needed a good cleaning , rubbers and a few plastics