Yes- only that wasn't the only change that was made. He added some new stereo sound effects and fudged the sound in other small ways as well (not nearly as noticeably as he did to the '93 mix, though).
Any LD made before 1985 would have this mix on it, although the speed would need to be decreased for inclusion in a project (the 1st LD's were time-compressed). I would love to see this mix coupled with either/or the '87 widescreen LD's or the 93/95 LD's for the picture.