Yeah, that's Genesis. "Random" isn't quite the right word, but instead of a rotation or any other regular pattern, each level has a particular music but those choices are jumbled up. Some tracks occur much more often than others. However, there is some more pattern, such as repetition of subsequences, than you'd expect from a random selection.