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