Had one of those maybe 14 years ago. Got it for about $120. It is a bit larger then most .25 pistols, but I found it was very accurate and pleasant to shoot. Mine had some sort of a naval stamp on it - a stylized fouled anchor-and had a flat black finish...I have always thought is was some sort of military pistol, but have never found anything on this. Mine was a very reliable, good shooter, but the safety was NOT good enough to carry with one in the chamber. I think Triple K has aftermarket mags for them. It's worth keeping if only because you won't get much by selling it, and mine always worked and shot where I aimed it.
I just saw a few sold at auctions online - depending on condition, they sold for between $75 to $199 - the high price for a like-new pistol with spare mag, in the factory box. The seller was asking $395.
mark