Maybe they got hold of an Obamagun from Fast and Furious.
That was my first thought, too. 7.62x39-51 is a bit larger/heavier hardware than a ROTM AR-15.