not exactly true... while not the easiest to use, VLC does infact have transcoding or converting features; it's what I use when I have to convert a file... your VLC should have a "wizard" which handles this transcoding... give it a try; if you still need help just ask
