Yes, and anybody who buys RedHat product, even for a few minutes on a shared cloud provider, is entitled to the source code, and is also entitled to redistribute the source code as they see fit. Which is what Rocky is doing.