Cómo ver vídeos 3GP en linux

Aunque este blog es de software libre, hoy voy a hacer una excepción.
Si queremos ver vídeos en formato 3GP (el que utilizan muchos móviles) en linux, tenemos varias opciones.
a) convertirlos a otro formato. Para esto hay herramientas para linux muy buenas.
b) recompilar el códec ffmpeg para que incluya el soporte de audio para estos archivos. Esto tiene pinta de ser complicado...
c) instalar un programa que, aunque sea propietario, nos salve la papeleta, y reproduzca estos archivos sin problemas.
Yo voy a hablar de la opción c. ¿Y cuál es ese programa? Pues RealPlayer.
¿Dónde descargarlo?
En la web oficial:
http://spain.real.com/player/select/
¿Cómo instalarlo?
Como es un BIN, sólo hay que dar permisos de ejecución, y ejecutarlo:
sudo chmod ugo+rwx archivo.bin
sudo ./archivo.bin
Y sí, funciona perfecto en el Asus EeePC 901 con Xandros....