Berkeley bad guy is gone. @turon tells me those rifles are M4A1s. I think he's right.