Wasn't a coin toss part of the way to break a three-way tie for divisions in the SEC at one time? It was like 6th down the list of tiebreakers as I recall and never came into play. It may still be that way. I remember this being discussed when we were in a three-way tie with UGA and UF or at least there was a potential for one.