Gjatë bastisjes dhe shkëmbimit të zjarrit, Bin Laden dhe disa anëtarë të familjes u vranë. Por, ajo çfarë flitet nga ekspertët e sigurisë është se ishte pikërisht pushka e Heckler & Koch, HK416 – që vrau liderin e organizatës terroriste.

H&K 416 është dizajnuar në fund të viteve 90 si një alternativë afatgjatë e M4 karabin. Në dallim nga pushkët e familjes M16 dhe M4, H & K416 përdor sistemin e rrezes së shkurtër të veprimit.

Në momentin kur kjo pushkë shkrepet plumbi, pluhuri dhe materiet e tjera kimike të plumbit nuk mbesin në tytë, duke e bërë kështu një armë më të pastër dhe gjithmonë precize.