If you want all of the MIDI files, save time by downloading the zip pack (87K) of all files. MIDI beginners should read the ABC's of Using MIDI Files.