Hi, does anyone know if there's a realplayer compatible media player for linux that provides a firefox plugin, so I can watch embedded video streams?