I'm in the same boat -- I have a bunch of mp4s that I'd like to watch through my Samsung DVD player (using a usb key). But the Samsung device only plays AVI containers. I tried to use the transcoding in VLC (I'm on a Mac), but nothing I seemed to be able to do with the wizard would get me an AVI con...