Hi, I've been interested in buying a PPK in .32 ACP. I have been trying to get a new one or in a new condition, because the old ones seem to be worth a lot more money because of their historical significance. Did Walther ever produce the PPK in .32 ACP in the United States? Does anyone know where there is a PPK in .32 ACP for sale? Thanks in advance.