The Muppet-like Big Red has been entertaining Hilltoppers fans since the 1979-80 men’s basketball season, and his profile has only increased since Western Kentucky jumped up to the FBS in 2009.