*if* they are just avi files, and not the DVD torrents, I have a solution. Use
DVD Flick. It's easy, and free/open source. I've used it several times to get avi's to DVD.
From their site:
* Burn near any video file to DVD
* Support for over 45 file formats
* Support for over 60 video codecs
* Support for over 40 audio codecs
* Add your own subtitles
* Easy to use interface
* Burn your project to disc after encoding
* Completely free without any adware, spyware or limitations