Thank you very much, it's such a huge collection of midis! Although I can't convert anything here but it's great to have a collection of midis, I can pick some options from here.
Np, and iirc midis and mp3s have completely different in terms of how they work, so to convert one, you'd have to make a midi version of an mp3 yourself.