The two ways they have for getting source code are kind of funny and easy, and kind of makes fun of RHEL in pulling this maneuver, getting so much community backlash and ultimately having so little effect other than to negatively impact future business. But will they go further to violate the GPL? Or concede defeat? Say what you want, but to cut off paying customers if they share source code which is their right under the GPL is a really bad move that exposes the character of those running the company.