Any of you folks familiar with Walther's? My dealer has a NIB, mint Walther model PP German .22. It looks just like this one pictured. On the other side it is stamped with the Interarm VA stuff. My dealer thinks it is a steal at $800. It IS a beauty, but I have no idea of the value. This is the pre PPK gun if I understand it correctly. Any info or help is appreciated. Lonnie