I shall invoke the authority of none other than Larry Vickers, who spent several years in Delta Force. Larry used a 1911 style pistol. In fact, he had one of the manufacturers, he did not say who, custom make one for him.

Someone I know spent some time working with the Spec Ops crowd says that HK was always allowed but he didn't see many carrying it.

He told me that the government has an approved list of vendors who can sell to the military and different branches, and different units within those branches, can get the same type of weapon but from different manufacturers.
This goes into the could be true category: I asked at one of the gun stores in my town why HK products are hard to come by. They told me that HK really doesn't like to sell their stuff to civilians but will do it to pickup a few extra bucks. I wanted to pick up their new rifle, the 416 and was told they wanted to keep that rifle restricted to the military. I believe HK is owned by a UK company, though the pistols are made in Germany. From that point forward, my impression of them soured some.
I have to say these companies are really good with their marketing. Almost all of the top players claim some sort of association with the Spec Ops community. I bet there if Charmin could claim they supply all of the Spec Ops toilet paper, we would run out and buy the stuff by the case load! Here's the copy for a Charmin ad in SOF: When the Navy Seals need to wipe their ass, they don't use any toilet paper. They use Charmin! Because when they are out kicking ass, they don't need a chapped ass!
