Jon Gruden knows his Gators