That didn't go over well; it kept the a 512 X 288 size. I'm going to have to force a larger size manually. What size should it be?
(Keep in mind, no matter what I do, I can't get it in perfect HD since I don't have a DVD recorder that can accept HDMI input (if one even exists), and there is also loss from the DVD compression. I could record an uncompressed one for you in the future, though.