My parents are moving and while in the process of packing my father came upon a Walther PPK in original box given to him many years ago. He’s interested in selling and I was wondering about an approximate value. The serial number is 226xxx and it’s in perfect condition. Any help would be appreciated. There are no letters before or after.