Im looking for a couple of new (or used) magazines for my PP .22 cal. Does anyone know of a reliable source for these? I've seen PP/PPKS 10 round aftermarket magazines but the vendors arent clear about which Walther they are for (pp or ppks, I'm pretty sure they wouldnt be the same).... Thanks!!