Yes, great job by them.
And we sing our own version,
"Rocky Top you'll always be
Number four in the SEC
Good ol' Rocky Top
Rocky Top Tennessee, Rocky Top Tennessee."
When they start their song, they look at you like you're crazy for singing w/them and then they hear the "#4" part and get pissed.