Answered my own question, in case anyone out there is interested. I scrapped that software, and another brand that failed me, and downloaded 'Free video to DVD converter', which does the job quickly and apparently efficiently. It seems simpler, perhaps because it's specialized for converting to...