[weltall]

non credo le musiche non sono campionate ma renderizzate in real time, al massimo con un hex editor potresti trovare i filmati e poi estrarre la musica da li.
per la musica renderizzata dai no sguardo qui http://www.neillcorlett.com/psf/