Further info: "This can't be opened because it's from an unidentified developer." (I'd been expecting a web page, then managed to get it as a downloaded midi file). But nothing on my puter will play it. Any workaround solutions?