would “the glade” be a good name for the florida gator’s stadium?