What percentage of college football players redshirt?

80