Yeah, if you use XBMC to play your media, you don't need the hdmi audio out as it will be passed over your network. If you play directly from your HTPC to your AVR/TV, then you need the hdmi audio. This is where I still have some odd issues with the way the stream is sent.
Let me know what you find out.