Here are some songs that I put together using Aria Maestosa. The midi files are much more compact than the mp3 files, but the playback of midi can vary between systems, so you may want the .mp3 versions instead.