Due to my lack of strict knowledge, I take it that there is a difference of opinion on whether RedHat violates the GPL in this case
I don't think there is a difference of opinion? RedHat only offering source code to paying customers (and devs) is completely legal and in line with the GPL license. But maybe there's something more to it that I missed.