So I guess we’re the Florida Gators now