Is this potentially the reason RH won't be providing public sources for RHEL any more? RH's bread and butter is USGOV. NASA using a direct competitor that can only exist by rebuilding RHEL sources, and this use becoming easier isn't great for them.