Isn't the VHS source for the mono mix an old PAL broadcast recording to begin with?
I've watched a thing or two transferred off a 16mm projector modified to have line audio outputs, and they sounded fine to me.
And I've heard some pretty bad sounding 35mm prints in my time. ;)