The biggest secret in the special operations community—what gun did SEALs from "DevGru" kill Osama bin Laden with—has been revealed. Two military gear blogs, citing multiple insider sources, credit the highly reliable HK416 rifle, an M-16 type weapon, with the "double tap" of 5.56 mm bullets to bin Laden's head.
http://www.usnews.com/news/washington-whispers/articles/2011/05/11/the-gun-that-killed-osama-bin-laden-revealed
HK-416
