Florida gators, Sue/OK