@tubetime What a nice rabbit hole! I found that you can download some Mainframe music as mp3 from here for free.
http://mainframe-music.info/mainframe_music_mp3s.html