No tengo referencias de los switches manuales hdmi, aunque se que existen, pero no me atrevo a recomendarte algo así...

De todas formas, Gefen (el del hdmi detective) vende en España en cualquier lugar. Tiene 3 distribuidores:
http://www.gefen.com/dealers/viewDea...?country=Spain