Nolan Carroll? I did not hear his name called for choking while the ball was in the air. Did he play Sunday?