My computer was working fine until today when it stopped putting out any audio through HDMI connection to TV. My Samsung TV is still listed as default audio device, volume levels in the Mixer can be changed to whatever setting I like. When trying to playback a video using Windows Media Player...