Saw one at Doc's Walther (David Avery Firearms) at the Fort Worth Gun Show last week. Wanted 409 cash, 439 credit for it. Still a pretty thick and blocky pistol.
I saw an S9 for $469. It looked like the mags were gelded even though it was supposed to be designed as a 10 round pistol. I bet the European versions hold 12 or 13 rounds.