RE: [Serusers] Correct SER version to download for RedHat Enterprise