Here’s a small “pocket gun” that I picked up six or seven years ago at a show for $350 including the box, documents AND a spare magazine. I bought it just because I wanted one back in the ‘80s when they came out, but couldn’t afford one on a soldier’s pay. It’s a tad heavy for pocket carry though …