I really want to burn a normal video-DVD of this video, but it is encoded with a weird codec. I don't even know what the codec is. The latest version of Quicktime won't even play the .avi file, but VLC media player handles it perfectly with no prompting or hassle. I have a MacBook Pro, OS X 10.5.6, and I have never burned a video-DVD before, only data-DVDs. I am guessing I need some kind of software to turn this encoded computer-video file into a nice MPEG for the DVD. What software? Please suggest free and paid-for software, I am doing this for a class and I have a budget.