Were they actually running RedHat Enterprise Linux, or was it something like Fedora or CentOS? CentOS was basically RHEL with the branding stripped, but I don't

Were they actually running RedHat Enterprise Linux, or was it something like Fedora or CentOS? CentOS was basically RHEL with the branding stripped, but I don't believe they had any kind of support agreements.