The research phase is done. Two tools will both do the job.
From http://www.ubuntugeek.com/how-to-rip-dvd-audio-to-mp3-or-ogg.html :
transcode -i /dev/dvd -x dvd -T 1,20 -a 0 -y wav -m track20.wavor from http://www.linuxquestions.org/questions/linux-software-2/rip-the-audio-from-a-dvd-349796/ :
mplayer -vo null -ao pcm -aofile audio.wav dvd://01Now, it certainly seems easy enough... We'll see how it plays out in practice.