Can't seem to find a solution anywhere on the web. I am using google tv via a logitech revue connected to an onkyo tx-sr805 connected to a samsung TV. I would like to use the karaoke channel app on google tv but need to connect a microphone. Any thoughts on how this is done? I have seen references to mixers but am not sure if those would be compatible with the hdmi output on the revue. Any suggestions would be appreciated. Happy Holidays!