If Joe hasn’t been provided the binaries from RedHat they’re under no obligation to provide the sources.

And the true sources can easily be obtained from the upstream, same place every other distro provider get’s them.