how would I route audio in Ubuntu 9.04/Gnome to the HDMI output/connector? and subsequently has anyone used this (or a similar) interface: http://www.octavainc.com/HDMI%201x1%20Audio%20Converter.html