I got this game a few days ago, and found that the music for it just lays in the data folder in ogg vorbis format. So you only have to copy it from there and convert it to mp3.

If anyone wants I can share but you got to request what exactly you want. There some good themes but most of it is just background music of machines and such stuff.