Hmmm... This is rather exciting! Say, any chance of one of those mysterious ports being a MINI HDMI PORT!?! Looks quite possible!
http://www.optimization-world.com/img/prod/hdmi_to_mini_hdmi.jpg
no, the shape is completely different, the mini-hdmi port is very thin while the mistery display port is nearly square.
I'm fairly certain there's no substantial difference in port height between Mini-DVI and real DVI.
I just checked and there isn't any, but including the screws the DVI port is more than 3 times as wide as the mini-DVI one.