I had a trawl through some old Usenet posts on Google Groups to see if there was any mention of the 1985 mix. Nothing turned up - it seems that was very little knowledge back then about the fact that there were three mixes, and people even then were debating about the Biggs scenes and the grappling hook miss!
I did find one interesting fact, though - in 1990, Star Wars was shown on the Disney channel with the tractor beam line included. Would this be the mono mix or the 1985 stereo mix?