Wow, 4K. That would be incredible.

I was thinking yesterday while doing those color corrections (which were tons of fun by the way) about scratch removal, and the great thing about having all of these people willing to work on it and no deadline, is that we can actually split the movie into hundreds of pieces and have each person remove the scratches "by hand" instead of running it through some filter that will also get rid of the film grain/atmosphere. I'm not sure how well it would work, but its always a possibility.