Actually he killed a guard and that is where the AR15 came from. Federal guard... Federal firearm.
That is a great way to get a weapon in a secure environment. A skilled marshall arts guy disarms and armed guard. Kills another and he has two weapons.
Is that really true in this case?