Well, I have sold three of these in the last two years.
Two were brand new in the box. The third fired one time.
I sold both of the new ones over $2000.
One shipping to Europe.
The cheapest used one $1800.
A lot of ads show $2600 plus.
You really have to talk with the buyer and see what they are comfortable paying.
I have seen auction ones go for under $800.
These are much more popular outside the USA and rarer to find.
If your selling one I tend to start at what you would take for it and go from there.
Sometimes I see pretty cheap, I have given some away for free and other times I would only accept top dollar.
Find what you and the buyer are comfortable with and go from there.
$1000 from a private seller is on the low end. $2500 is topping out.
Mint condition will bring the higher prices for the collectors.
Someone who plans to use it will not pay that much.
Cheers.
Jack