David J Neal of the Herald sent me a note earlier about my comment about the Dolphins fight song (as I said, I wasn't there and only heard about it).
You understand incorrectly. The T-Pain version of the fight song was played at some point before the game. The original version was played between the third and fourth quarters to such a rousing roar, I could hear it in the press box restroom. The contrast was Tweeted about by several writers and on Armando Salguero's Dolphins in Depth blog.
Thanks, David, for clearing that up!