Had to delete my original response. Saw a bug for that game. But same answer: Good decision to punt.

Break even probability needed to make it worth the risk was about 40%. League average there is about 34%.

— Brian Burke (@bburkeESPN) September 9, 2019