A few years back I owned a small Colt 22lr semiautomatic pistol, not a woodsman. Haven't seen one like it before or since. There was no identification on the owners manual other than Colt Semiautomatic 22 Pistol. It came in a modern blue plastic case and two magazines, 10 rounders. I only had it a couple of months then got desperate and had to sell it. I bought it from a small sporting goods store and paid around $250 for it. It was stainless with plastic grip panels and shot very well. Any info would be appreciated.