Só para ter certeza .. isso é mini HDMI e não mini porta de exibição, correto?
Você não precisa comprar um adaptador. Eles realmente vendem cabos mini HDMI (mini HDMI em uma extremidade, HDMI em tamanho completo por outro) .. verifique o ebay - você pode encontrá-los baratos.