[Duir]

Creo que son el mismo tipo de cables en ambos casos.
El cable en cuestión es un mini HDMI a un HDMI normal. No son difíciles de encontrar:

http://www.iberiapc.com/nuevos/6670-CABLE-5505-0-7.html

De hecho en las grandes superficies los podéis encontrar.