Folks, today I saw a German made, InterArms imported, Post War eagle over N, matching serial nos., well worn bluing, .22lr Walther PPK/S with beat up non-Walther grips and an atrocious looking, large, glued to the mag, finger rest. Mechanically, the gun looked good, and the dealer said that if it didn't function properly they'd refund my money. They had the gun for $279 and lowered the price to $250 when it was apparant that I might be interested. If I bought it, I'd have to get mags, grips, and reblue the slide. Opinions - is it worth $250?