Heh, that was funny. What was the music they were playing though? It sounded very familiar & keeps making me think of some nintendo game from my childhood, but i can't quite place it...
AH! I just had an epiphany while typing. It's the music for the boss ship thing levels in Mario 3! yep!