The music that's put into a game really leaves an impression. For example, every self-respecting gamer knows the Mario music. My question is, should I put MIDIs in the game or should I record MP3s and use those? Even though I'm not going for an old-school/retro style game, MIDIs would reduce the file size a great deal. On the other hand, recorded MP3s would have a much greater quality. What's the best route to go?