Yes, that tune is an old song that was used in an old cartoon. I don't recall the name of it, but, ironically, it was Rush that borrowed it. Doesn't happen a lot in their stuff, but there's an example.
I think there's a borrowed bit in Superconductor, too - but I could be totally wrong there.
