I am more than sure about some, maybe not all AR15's, Got 2 buddies that bought 1 Bushmaster/1 DPMS new with 30 round mags, also, I went to a local gun shop and negotiated for a new Bushmaster w/30 round mag. The price was $999, couldn't work out a better price so I left the can where it sat.
Sigbear