> No, as per the GPL they only have to provide sources to paying customers.
If they were providing binaries only to paying customers, that would be right.
But they aren't. Anyone, who spins up RHEL VM in the cloud, uses UBI image or downloads it from the developer account has the same right.
In all cases, RH cannot prevent anyone, who obtained the sources, from distributing them further; not even threatening with contract termination. That would be "further restrictions", which GPL explicitly forbids.
Just about everyone. The final product is RHEL in this context.
> which is their right
No, as per the GPL they only have to provide sources to paying customers.