This is Not an offer to sell. A friend has a Walther PPK/s that she is thinking about selling. It is the blued model, made in the United States. No box, one mag. Does anyone know an approximate value of what this gun would sell for? There are a few places with Very light pitting. Thanks y'all.