speaking of the great tommy boy... how long until the NFL changes their OT rule now that the golden boy has been affected by it?