It was the injury that changed the math though right? Denver now keeps its timeout so they’d get the ball back down 3 with ~40 seconds left. Not an easy decision either way imo