I have realplayer files I want to convert them to mp3 I understood that I have to use software. I tried winamp. But my files remain realplayer. I suspect that there are codecs for download. But as it is imprecise, there is too much, I do not know if I choose and uploads them I do not know which file to put them. So, please help me with this guys. Thank you for your help.