I've seen Raiders more than any other film - several times during its original release and at least once a year since - mostly in 35mm or 70mm. There's a huge amount of digital manipulation at work here. It's fairly subtle, but I doubt there's a single shot that hasn't been tweaked in some way.