As per the official brand guidelines of the Henderson State University, the PantoneĀ® of the red is 201. The gray color used in the Reddies branding is PantoneĀ® Cool Gray 7 CP.
Henderson State Reddies brand hex, RGB, CMYK and Pantone® (PMS) color codes