[ QUOTE ]
Still no mention of it by commentators.

[/ QUOTE ]

That's because they aren't as close to a record as you think. 17 is the record for most punts in a game by one team. For both teams, its 31.

NFL Punting Records