"to be the Gators. Come on. How many, how many Gator mascots are there other than that?"