Located a SS Interarms PPK in 32 with box , and papers, light scratches on barrel (look like from normal use) and red on safety is gone. Asking price is $1250. What say you all, is it worth it? Too much , is it a steal, just about right? Still hunting for one of these bad maama jamas as a pre Christmas present to myself so ANY input is welcome and thank you in advance!