Football Texas vs. Florida will be a battle of big humans, but one Gator is the largest in college football