VLC can extract audio from any of the many input sources it supports, and write this audio to an audio-file in quite a lot of formats. In any case this fiddling round, my sense is that for my purposes (efficient and reasonably reliable bac…