Walther PPK/S 380

I have for sale a Walther PPK/S 9mm KZ (380) which is new in original case with all original paperwork including the sales receipt from 1972. Purchased from original owner who never fired the gun. Comes with owner's manual, warranty card, paper test target from the factory, two clips, and original sales receipt. Gun is 100% perfect with no marks of any kind that I can find. Serial number is 158XXX. This gun is made in Germany and imported by Interarms. You won't find a nicer, more complete Walther for your collection. Price of the gun is $800 which will include shipping in the continental U.S. If you have any questions contact me at *********************** , Thanks, Gerry Addison.