Where is a midi file of a song I heard which was quite awesome. It was an opera song, and then a techno remix sort of thing. This is totally from memory and I wouldn’t be surprised if I jumpe…