Hi Swissman! I paid $1350 for what you're talking about a year and a half ago. I think that was a good deal because I could only find two of them online in auctions and they were $1500-$1750.
And here's video of me shooting it...it's the last gun I shoot: