I've got one of those DealExtreme adapters on order, but it's been a week and they're still waiting on the supplier. Moreover, you'd need that adapter, a coupler, and then the HDMI cable, right? I just ordered these on eBay:
wwx.ebay.com/itm/140626354628
wwx.ebay.com/itm/140599435227
I figure that ought to be sufficient for a number of hdmi devices. USB is what needs work, and a number of you already have that in the works.
Also, for you guys worrying about these adapters fitting, once you pry apart the dock portion, the wires give you plenty of play. I've been using my lapdock without the port cover so I can plug my Atrix in while in it's Defender case.