Prior to sales of carbines by DCM back in the 1960's, the government did try to prosecute owners of GI carbines for receiving stolen goods, contending that no carbines had ever been released.
Actually some .30 Cal. carbines had been sold to service members. When we were offered the chance to purchase .45's in 1959 for $25 each, we were also offered .30 Cal carbines (brand new) at either $45 or $50 apiece, I can't remember exactly because I had no interest in buying one...or two. These weapons were sold to members of my Air Police squadron at Nouasseur AB, Morocco.