I was assuming they do... I also have an Interarms version, circa 1999 and was looking for spare mags online. All I see anywhere is PPK and PPK/S. Well, blued or stainless I have seen, but never any mention of PPK origin. If I'm wrong, I want to know too! I was planning on making an order soon... Mec-Gar I was thinking.
Jeff