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.
Neither the bluray nor the HDTV broadcast are reliable in the case of Raiders of the Lost Ark. The HDTV broadcast is sourced from the same master as the 2003 DVD release. Both have a red shifted bar sequence, although the bluray is worse, while the evidence seems to show the theatrical version has no red shift at all. The bluray’s colors are warmer than the HDTV version, but they’re also orange and teal, which seems more in line with the current trend in color grading, than any desire to reproduce the theatrical color timing.