Seminoles, Alligators, and Football Players