I picked up one recently from a forum member for $350. It looks like someone bought it in 1955 ( from serial#) and put it in a dresser drawer...looks about 99%. Of course mine doesn't have the nazi markings, so I use it as a nice little BUG.
Might want to consider something like duracoat, just to protect the metal from rust. My stepdad has a PPK with nazi markings, original holster....sadly it has almost zero finish as well. We're thinking of Duracoating it just to keep it from rusting...collector value is already gone, but they are nice little shooters & pieces of history.