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.
The thing is that the bluray is shifted towards orange on the whole, but the bar fight scenes take the red shift to a whole other level, that cannot be explained by a slightly warmer tone. This probably is a delibirate artistic choice, and it clearly contradicts the statements by Paramount, that claim the bluray has the theatrical color timing, which in fact has more of a red shift in this scene than the WOWOW.
HDTV sources are not reliable for colour timing from what I have seen. Look at Jurassic Park’s HDTV colours, it’s shifted towards blue, so is the 2D BD, and both of them have been sourced from the same master file. The original film cells available in the internet clearly show the original timing was warmer (green-yellow-orange). Not as warm as the 3D BD, but not as awfully blue as the HDTV or the 2D BD. So, I guess something less reddish than the current BDs would be the ideal colouring.