I prefer both; mp3's are fun, but
midi files are useful and funny too, especially if you have some from a specific game.
I have a bunch of
midi rungtones for my phone, but they're only for games.
I use real mp3's for actual songs. I hate
midi versions of real songs.