Carried a 90s Interarms PPK/S for a while and though a good pistol it jammed a little to much. I carry a 1974 Colt Cobra now because when I pull the trigger it goes boom. I'll put Speer 135 gr. Gold Dot for short barrels 38+P over any 380 round out of the PPK. I vote for the revolver.
I did trade the PPK/S and a few $ for a real sweet, like new 2" 15-3.