Wow! I have to say, that looks leagues better than the blue-cast that scene enjoyed (or, rather, didn't enjoy) in 2004, except for the black level in that export being a bit too bright. That's easily fixed, though.
Color filter pass... I'll have to remember that next time I'm cutting in Premiere.