There have been quite a few AK74 clones (semi-auto) imported into the U.S. Not as common as the 7.63x39, but not rare.
Interesting that they chose the AK47. I wonder if they had overseas training? Would it not be juicy if they were trained in Syria? Hehehehe