Tidbits: While waiting for a final determination from the courts and the school board; the student body selected the nickname "Patriots" to be used at school sponsored events during the 1976–77 academic year. In the spring of 1977, after hearing the courts final decision that "Rebels" was not to be reinstated the students chose "Gators" as the permanent nickname.