Not unless we could convice realplayer to actually release a port for the gp32 - and charge us a small fee - thus having a media player which can play virtually any sound format?
-but apart from this? - create your own media player..hmph!
What about your own player with your own type/compression algorithm. It would be pretty hard especially to make something with better compression then DivX, but it would probably be fun...