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