You’re right. Similar to “My City Was Gone,” where they didn’t care that he used it for years and years until something came up.
Ya, that song is the main theme song for Rush. Did he pay to use it, never knew how that works.
As an aside, was once in a car going somewhere with people, and they had music radio on. “My City Was Gone” came on, and I wondered if this FM station had Rush Limbaugh on as a rerun or what was going on. They were just playing the song.