Las navidades pasadas me regalaron un switch HDMI del mediamarkt. No puedo decirte qué tal funcionaba porque lo cambié por otra cosa ya que el receptor me hace esa función. El precio rondaba los 40€ si no recuerdo mal, así que te puede valer para la tv de 20'' y probarlo en la otra a ver qué tal te va...