We just willingly let MIKE EVANS go into the record book versus us?

If I were the coach, the record that would have been set in that game would have been the most untimed downs to end a game. I would have had 4 defenders holding Mike Evans every play until after 13 defensive holding calls they were within the 5 yard line so they couldn’t gift him the record.