Do great players in college get their jersey numbers retired? Specifically in the Gators? Or only if there is a tragedy like Autin?