On Mon, 2 Oct 2017 18:20:42 -0400, "Mr. Luddite"
wrote:

Maybe it *was* an AK. Is there an AK-15? I am not a gun nut.

Not really The AK74 (not 47) shoots a similar round but not exactly
the same. They typically have an orange magazine like the one OBL was
seen with.
They also make an AR that shoots 7.62x39 (the AK round)
There is plenty of cross pollination.