My grandfather has told me that he will be leaving me a few guns. He never shoots them, and I just cleaned them and made sure they would not have storage issues today. One of them happens to be a Walther PPK/S .380. He said he got it in Germany when he was overseas. He has never fired it and still has the original target from the factory and the box. Does anyone have an idea of the value?