I know a guy that's moving to Philly and is selling ALL of his stuff. He's got a Walther PPK that he never even really shot. I'll see if he's selling it. How much are these things worth used?