I have the distinct memory of attending classes at OU and going to OU football games with Little Red as Mascot. I didn't give it much thought at the time, except "this is really cool" ....
The whole OU cheerleading squad, including the Sooner Schooner , were pretty special.