I believe DisplayPort offers much of the same benefit as HDMI and it is specifically royalty-free. So that might be an option, though it sounds like you're already set with the DVI and separate audio out anyway. You can probably get DP to HDMI or DP to DVI adapters, too.
http://en.wikipedia.org/wiki/DisplayPorthttp://www.displayport.org/
