I keep seeing these on eBay: "HP Mini 1000 110 BroadCom BCM70010 BCM70012 HD Decoder". Anyone knows anything about these? I ask them if they have any instructions and it seems no one knows who ever sells them as they're mostly from Asia.