PC Audio Through HDMI. Am I Doing It Right?