Kind of interesting, handy to have a simple way to get real RHEL, I guess.