I thought by 1980 the technical gremlins with Dolby stereo being played back in mono had been solved, eliminating the need for a mono mix?
Either way, this is an interesting discovery.
I know someone who worked at a college campus movie theater in the 80's, and it was all 16mm. AFAIK, prints were still made for that sub market into the early 2000's.