Bueno, si tu cuñado quiere dar el dinero (US $24.95) puede resolver con el <br />
<a href="http://www.midi2wav.com/" target="_blank" class="postlink">Midi2Wav</a><br />
<br />
<br />
Esos **** dan un "gran demo" que te permite hacer conversiones de 10 segundos. Por lo menos aprendí esto de ellos: "Técnicamente la conversión de Midi a wav no es posible porque el Midi no es audio, sino una serie de números que dicen como se va a reproducir la música." <br />
Ouch.<br />
<br />
- Parece que Nokia tiene un editor. Algo para manipularlos y poder usarlos como tonos para el móvil... sigo buscando.