If it were me, I'd buy the Colt and tell myself that it paid for itself with the money I didn't spend on the PPK. 30 years ago my friends and I tried out the PPK and figured it to be one of the most over rated guns of the day. That is not just the S&W issue, but design wise. Accuracy was mediocre, hammer and slide bite were too easy to arrange, etc. today there are better .380s and other choices in the same genre.
The Colt is a better gun.