Besides it was an off duty Police Officer who shot and killed the guy.
It’s a safe assumption that an off duty cop wasn’t carrying an AR15.