I was looking to buy a new Walther PPK from one of my favorite gun stores. They looked into it extensively, and for some reason their suppliers can't get ahold of any. I have not seen any new PPK pistols for sale anywhere else. Anyone know what's going on with this? Walther still advertises them as part of their product line.