If it is German made and is a PPK it sounds like an exelent deal. If however it is a PP or PPKs or is US made it mybe just an ok deal. I would stay away from any US made Walthers. There is a huge differance in quality & performance. I hope this helps.
JMT is right the quality is not as good as the German PPK, but let me say that the American ppk in 32 is the only american ppk I would buy. The 32 in this gun is flawless. I own a 32 ppk and over 2000 rounds in it without any problems. In fact, when you work the slide you can tell that it feeds very smooth. I have owned 380 Americans and they are all gone and sold off, way too many broken parts and failures to feed. If it's a American ppk in 32 auto, I would scoop it up. I have a friend who works at S&W and works on the PPK's he says stay away from the 380's they are junk but the 32's work much better. Infact he told me that S&W was suppose to start using MIN parts instead of cast but have not at this time, so they are still having problems with broken parts on their 380's.