Hello! I have always had the impression that VLC Media Player can play ANY media file in the world...till now. It turns out I was a bit mistaken. It cannot play AMR files, the format used by most mobile phones to record sound. RealPlayer can play it but VLC can't. Is there any plug-in/codec/workaround to make VLC play AMR files?