How much credit for Belichick deferring in OT?