Here you go, the download link to the discotheque midi file