mmm, veramente io sapevo che si chiamava proprio XM16E1 quello usato dall'US Army (e quindi berretti verdi, di conseguenza), M16 è la denominazione data dall'Air Force all'AR15 come hai detto anche tu.