An acquaintance has a Walther PPK/S I think from the Holton plant. It has the box, paperwork, etc. I haven't looked at it yet, so can't comment on the condition. He's asking a firm $750. Any comments? I'm getting away from 9mm carry and it would be a carry piece.