How much difference in sound would it actually make to your game? I mean when playing, would we know, ah that's a midi being played, or thats an OGG being played?
If your considering it as an asset to release then, then i'm sure the variation would be useful.