VLC can extract audio from any of the various enter sources it helps, and write this audio to an audio-file in a wide range of codecs. Nice item which takes audio from HDMI and out to another supply. I've had it working well to take audio …