Those guns didn’t come from CMP and getting a CMP gun isn’t a piece of cake, either. On the open market, in gun stores and at gun shows, they generally go for about $695 to $750. A collectible carbine will cost you much more (e.g. a straight Winchester with a high wood, I hole stock; an Inland Carbine with IO stock paratrooper original could go for $1500-$2000).
I would love to have my old Inland M1, but like an ijit, I sold it years ago.
The CMP does have some restrictions
Still worth a look.