Texas vs. Okie St. fun fact