Did you not just sell yours on EE?
One sold at Epps for 1200 a year ago or so. Average to good condition. It didn’t fly off the shelf so maybe that is close to market.
I remember these and the Peter Stahls but they were never that common. They don’t go for as much as I think they are worth, but I guess that is the current market. Neat guns. If I found one in mint, i’d be tempted.