I'm assuming you could plug the dual-HDMI thingy into the second Thunderbolt port, use the built-in HDMI for the third port, and use the built-in USB hub, and thus have all of your gear on a single thunderbolt plug with even greater performance. Convenience certainly comes at a price though.