I have a very nice .380 Interarms Walther PPK/S that I recently traded for. It is in excellent condition except for a small amount of wear near the muzzle and on the grip.
The gun comes with the original box, test target, 3 mags, cleaning rod and instruction manual.
I have only test fired this gun. It fired 2 mags of FMJ with no problems (I bought the gun just as a collector's item). It says "Made in W. Germany" on the slide. AFAIK it was originally purchased in the early 70s. It looks very nice. Pictures below.
$400 local sale. Add shipping. Please e-mail if interested: firstname.lastname@example.org