Every once in a while I think of the tune he’s grunting out when he dances. I’m pretty sure it’s the beginning of “Disco Inferno.”