I don't know if this is worth starting a new thread over, but last night I was listening to the Cornell-RPI game with the World Baseball Classic muted on the TV.
A few minutes after the hockey game was over and I had turned the sound back on on the baseball game, the first two bars of "Give My Regards" was played by the stadium organist, as a quick time-filler between pitches.
Coincidence, I'm sure. But it would be nice (and not impossible) to think that someone working in the Dolphin Stadium production booth was following his beloved Red.