I've never played with a streaming media player, but have a newbie (less than one week using Linux) friend who would like to have one of these for his GPL Mandrake system. Does anyone know what's available and where to get it?