I haven't had time to really look in to this yet, but with USB to DVI/HDMI adaptors getting cheaper and cheaper do any of these actually work with Linux? Then secondly are any of those adaptors have drivers that are open source so they can be ported to Pandora?