The VLC player comes with the option to convert between different file types and I tried this for one of my .vob files. The conversion worked, sort of, in that I did get an mp4 video, but the sound was missing from it. I was half expecting it to fail, but I thought that it would go the other way and...