We get $629 for these in the store. They all cost the same so don't pay the PPK over PPK/S premium that you'll see in real Ulm guns.
I don't doubt the story. A really nice PPK is a piece of jewelry that just happens to be a firearm. A testament to the people who built it.Back in the 1980s an engineer at Interarms asked Ranger to produce a sample PPK/s in dullblack, simply sandblasted after machining. His idea was that by eliminating the polishing, there would be a substantial saving in manufacturing cost.
When it arrived the sample was received with all the enthusiasm of a skunk at a picnic. The consensus was that people bought a classic Walther for its superior fit and finish. Without that jewel-like quality, it was just another gun. The idea sank without a trace for 30 years.