Don’t we have a copy of the original mono mix that disproves that?
I know there’s a VHS rip with the mono mix, but I forget when exactly that was dated.
As for 35mm scans, I don’t know how well we can date them. We can definitely say when one was before the '81 rerelease, but I don’t know if we can definitively say when a 35 mm was printed.