es gibt verschiedene PlugIns und Player, die diese Musikdateien abspielen können.
Ich bin mir nicht sicher, aber ich glaube, es gibt einen PlugIn für winamp dafür.

Außerdem gibt es hier einen Player, der es kann (PlugIns und Codecs gibt es auch auf der Seite)