Good lord that's high for an HSc even now. I've seen plenty go for auctions at 650-850 with waffenstamps. That thing must have been in pristine condition with a holsterThat is gonna be tough but can still be found on some of the surplus sites and of course at a premium.
My son picked up one on here (ODT) 2 years ago all numbers matching with beautiful bluing and perfect bore for 1000.00 and it was a buy of a lifetime (and i do mean all numbers down to the little parts inside with all perfect Waffen marks).
I am so Jealous of that purchase.