A couple years ago I saw an early 90s blue Interarms PPK/S for sale for $450. The exact gun I was looking for. I offered $400 then got it for $425 with ammo. I love this little gun and it shoots great. $500 for a stainless one is excellent. If it in fact is a smaller PPK then that's better, though I like the longer PPK/S grip personally. Either way, I'd snag that.