I'm not very familiar with Walther's and I'm not really sure of their value. A guy is offering me a Walther PPK/S imported by Interarms stainless that appears to be unfired but no box or papers. He is wanting about $500-$550 in trade. Is this a good deal? Help me out INGO!!!