Wow, that link has a lot of details. Sony Vegas already automates a lot of that stuff for me, and lets me keep audio and video in sync (replacing analog with digital PCM, and then adjusting for speed-up. I don't know why this happens, but it's a minor annoyance now.)
You know, I've downloaded the "Holiday Special" as a .RM file, but I've never had the nerve to watch it. I guess I'll save it for a day when I feel suicidal, so that I can compare my situation to something worse.