litemakr, you have a recording of the mono mix? I'm surprused to hear of it being used in theaters, I thought all 35mm prints were Dolby by 1981.
Does it have the alternate Jock voice heard at 1:00 in this documentary: http://www.youtube.com/watch?v=FmLDNk8MbLs
Waaaay back in the 90s, Treadwell (I think) mentioned hearing a different Jock voice on a 16mm print. When that DVD featurette came out, I assumed this voice is what he was talking about.
I know that 16mm prints of Empire had the rarer mono mix, so I'd believe a mono mix of Raiders being on 16mm prints of that...but on theatrical prints? That I've never heard...