The Devil has all the best tunes. But GLaDOS has some good ones too.