OT: Hypothetical NFL overtime rule change