I hate to break it to you, but I think you had 1 too many at the pub that night. There aint no such thing as "double overtime" in the NFL, unless you are talking playoffs, and that certainly didn't happen with those 2 teams.
Guess my memory is faulty. ‘Scuse me.