The usage of RHEL is public, but I don't know if the numbers are public. If I can dig them up I will. My sources are a few ex-RedHatters.
If true it's concerning because RH has a huge influence on everything in the base repo, so that reverberates out to the greater open source community. Not cool when you think about the possibilities of influence the US Military could affect.
"Not cool when you think about the possibilities of influence the US Military could affect."
I think it's pretty cool.
Much of the influence of the government on Linux has been positive, though they are not as involved now, SELinux is a fine example. Emphasis on security benefits all nations.
Another possible example might be getting to more reliable network communications.