Both Jurassic Park 3D and Raiders BD has the same colour grading with a red tint. This is because they wanted to match the projected image of a 35mm release print and the original warm photochemical timing. However, I think they went overboard with the red tone. The HDTV source if it’s warmed slightly and shifted a bit to the green side will perhaps closely match the print colours, based on the 35mm stills I saw here. Again, the colours on a print look different when projected with the proper bulb brightness. So, I don’t think it’d have looked as red as the BD has it.