Hmm. First let me nit-pick and say that technically PAL audio isn't time stretched, it is time compressed since the runtime is less than the original. It runs faster, hence the increased frequency. Correcting it requires time expansion. For most PAL material, like it or not, that's really the best alternative out there if you're turning it back to NTSC.

Commenting on the rest (and I could be butt-ass wrong):
As far as pitchshifting. Typically it would not be needed as it only changes the frequency, not the actual speed/length of a clip. In this case (and I thought my ears were playing tricks on me too when I heard the butch C3PO) time expansion is STILL needed. Otherwise when the framerate is slowed to 24fps, the audio will run too short. We are (unfortunately for me) finding that evidentily it will need ADDITIONAL pitchshifting to reverse the whole process they put it through.

From what I'm seeing with soundforge though, pitchshifting doesn't seem to be done on a percentage basis making this much more wobbly a problem to deal with.

So the choices are looking to be: exhaustively edit in an NTSC audio track, give up, or wait for Citizen's release since he will probably not have to add/remove frames to make his audio track match (which will make for an easier match to the DC audio later). Anyone got an external drive they want to send to Citizen for me so I can get the avi files instead

Color: I am not not not color correcting, I played around a bit with it today, and I will say, categorically, it's not happening. Again with this, there is more going on then a few simple tweaks. I will however still use a saturation boost (something in the 25% to 35% region) (a trade-off yes).

I did finished d/l-ing the full ANH tonight, and am about finished working on my current project so I can take a serious swing at this Thursday.