I thought the ones that were supposed to be getting dumped on the market were carbines.
http://www.guns.com/us-to-import-83000-m1-rifles-from-korea-5116.html