Here you go, the download link to the disco 2000 midi file