Did you know that John Henderson is the oldest living former Texas Longhorns football player?