If the PC Steam version does not have an option to download the soundtrack, we riot twice!
It is your duty to play TX-Sector at some point in your pinball life.
The music in TX-Sector is one of the better things to happen in a pinball game. This is not an opinion. This is an empirical fact.