Muy buenas
SVA, no he llegado a ver de qué modelo hablaban en ese hilo, pero imagino que si era de GAME era el Joytech HDMI Trilink Switcher.
Me lo compré a principios de 2008 (después de preguntar en unas cuantas tiendas de Madrid porque no había casi stock), y en su día costaba 30 euros, pero hace cosa de tres o cuatro meses recuerdo haberlo visto por 15 en algún GAME (en la vaguada, tal vez), es posible que les quede alguna unidad suelta aunque no aparezca en la web.
A propósito, switches baratos de HDMI pocos he visto... el trilink me ha servido bastante bien (ahora tengo un monitor/tv samsung t260hd con todas las entradas imaginables), tiene mando a distancia, es pequeño y excelente en relación calidad/precio. Por mi parte recomendado si lo encuentras en otro sitio (mira en play.com, amazon.co.uk, ... a ver si tienes suerte).
EDITO: No me hagas mucho caso con los precios, es posible que fuera antes 39 y luego 19, en vez de 30 y 15