Ho scaricato due files musicali, uno in .mid e uno in .rmi (?); c'è modo di convertirli in mp3, ammesso che sia possibile?

Ovviamente se il software e freeware è meglio