a friend wants to sell a IBM Carbine. It looks like a mint gun with no import marks. The stock has no markings on it and I wonder if it was a Dcm gun ,but no papers with it. He has 2 30 rd mags and one 15 round mag. He wants $450.00 for it . Was Ibm a rare manufacturer of this weapon? Any advice would be appreciated. Thanks