They normally don't let that slip out in these stories.
Anyway, here it is, reported by CBS.
Which is why I have been telling people not to buy an AR in a panic. You may have to turn it in next month, or run the risk of getting killed to keep it. And your family, neighbors, dog, etc. If you have one, and are posting about how your will “Take them with me”. Just remember that is a terroristic threat, and it may be used against you. If they tell Johnny Cop or Army that “So and So made a terroristic threat on FreeRepublic on such and such a date!” they will have no issue arresting or killing you.
Cops will follow orders. Soldiers will follow orders. Don't think for one second that they won't kill you if they are ordered to do so.