As a follow-up, I also have tried sliding the “quality” down from 100, but it doesn’t have much effect on file size relative to the terrible quality of the export. I know this can’t be the answer, since it is exporting WORSE quality files at LARGER file sizes than the original .avi.