Yo tambien tengo el Galaxy Mini, y al igual que a ti me pasó un dia por la cabeza la posibilidad de reproducir una pelicula, y lo gracioso era que no veia ningun reproductor de peliculas instalado, total que me fui a la pagina oficial de samsung y miré las características del móvil, tras lo cual me dí cuenta de por qué no habia ningun reproductor visible.
Los motivos son los siguientes:
-el único formato de video soportado por el Galaxy Mini es el de extension .mp4 (igual que las PSP).
-el reproductor de medios es la galeria, que yo pensé que solo era para fotos.
La limitacion de formatos es debido al hardware, aun así me puse a leer y alguien de otro foro recomendaba instalar otros reproductores, y tras instalar el MOBO PLAYER, voilá, ya reproduce los .avi (divx y xvid)