Your welcome!
A quick run over to my favorite sourceforge.net brought up these programs:
AVStoDVD (32 bit windows only)
http://sourceforge.net/projects/avstodvd/
InfraRecorder
http://sourceforge.net/projects/infrarecorder/
DVD flick (32 bit only)
http://sourceforge.net/projects/dvdflick/
These are the ones that stand out in a quick perusal of the resources. Unfortunately, I don't burn DVD videos myself, so I am not as much help as I could be in choosing one. I should do it once just so I know for sure a way.