VLC can extract audio from any of the various input sources it supports, and write this audio to an audio-file in a variety of formats. Great item which takes audio from HDMI and out to another supply. I've had it working well to take audi…