I'm also under the impression the government tends to use RHEL when using FOSS.

I could be wrong, but I picked that up years ago somewhere.