What’s your weird Gator superstition