Let’s jump in with the rules, via the NFL’s Football Operations site: If the score is still tied at the end of an overtime ...