I honestly don't think it had yet entered their minds. They were in the heat of the moment. We all were. But someone would have brought it up between end of regulation and OT kickoff, and it would have been done. Only thing to make me doubt it would be an ESPN contract. And I bet they had that covered for an 8:15p Saturday start time.