I should add that using xrandr to try and force audio on that output doesn't help. I normally use this to switch between my monitor and my receiver.