What model is this? A buddy inherited a colt .22 semi-auto. He can't locate a model number..only a serial number. It has COLT .22 stamped on the side. He has not been shot. It is stainless with a round barrel, probably 4 1/2 inches. It does not look like it was made that many years ago. I can't find it on the internet. What model is it and is it any good? He will sell it to me for $195. If it is as good as the Ruger Mark II or Browning Buck Mark, I will buy it for sure.