will the disk he burns work fine when using a std dvd player ?
or will he have to change the format from avi to something else before buring it to disk ?
It should, if it's written in native DVD structure.
I gave up with the big-name commercial software and started using ConvertXtoDvd 3 - basic enough to learn quickly and custom enough to make some really good DVD menus - I use it for all my TV series in .mkv format as it seemed to be the only one that converted properly and didn't lose synch - also has 5.1 support.