can anyone recommend a media player for debian on my freerunner? the important things i need are: *library management *usable with finger - no stylus *support for mp3 or ogg, would prefer ogg i'm using rhythmbox at the moment, but it's a complete hog cheers