Beim Umwandeln von "Real Player Dateien" wirst du kein Glück haben, die werden ja nicht komplett auf deinem Rechner gespeichert, sondern über Steam gezogen.
Konverter für wma nach mp3 gibt es viele, ich benutzte "ACE-HIGH MP3 WAV WMA OGG Converter" (
http://www.audio-converter.com) aber ich glaube, der ist höchstens Shareware. Vielleicht solltest du mal ein bisschen googeln.