[steve1977]

But can Red Hat restrict its users from further distributing the source code or would they be allowed to do that?

[jraph]

They can't, but they could do something like GRSecurity, saying that they would end their contract with / stop giving anybody who distributes it further updates.