Hey guys, Just wondering a ball park figure on this Walther PPK, new in box, never fired, might be worth. It's my dad's and he's had a very long time. It's not for sale. Also posting another Walther he has, would appreciate input on it as well. Thanks!!