The sound options are pretty much the same on 4K77/83, except that they use newer versions of hairy_hen’s 5.1 mixes, and 4K83 has the optical stereo mix recorded from the print itself included, too.
So it does. Thank you for the correction.
Mine are from the blu-ray .iso which plays much smoother on my system than the .mkv file. I couldn’t recall which audio options were available on them.