Man könnte auch einen .wma to .mp3 Konverter nehmen...
z.B. den hierNur musst halt gucken wie es dann mit der Qualität aussieht. Aber das kannst du ja vor dem Kauf des Radios auf der Heimanlage ausprobieren. Wenn du Unterschiede hören solltest würd ich es lassen. Weiß leider nicht, wie die Qualität der gekauften Songs aus dem Internet ist.
mfg
neo-wdl