While thrashing around with that DVD player, I finally figured out that VLC stores its configuration settings in ~/.config/vlc/vlcrc. I don’t know if it’s supposed to update that file automagically after twiddling the GUI config settings, but it doesn’t; I must manually edit the file to get a sticky change.
Anyhow, the vital setting for that particular drive turns out to be audio synchronization, as set by the audio-desync parameter. The audio must lag the video by 400 ms, thusly:
# Audio desynchronization compensation (integer) audio-desync=-400
And then it Just Works…