HDMI audio is actually contained in the image. It could be extracted with their API.The cards are generally not the problem. There are many cards pci-e or even USB dongles. The problem is actually getting the bitstream audio out. Most are locked to only accept LPCM. This should just be a software issue though (as well as a licensing thing).