Redirecting to Florida Gators football, 1980-1989