La "Fuente de alimentación IRCO(valida para alimentar hasta 12 modulos)" y el "amplificador multicanal para canales nacionales IRCO (Canales 66, 67, 68, 69)" te pueden servir ya que esos muxes se usan para tdt en toda España.
La pega la tienes con los "5 amplificadores monocanal para los canales 37, 47, 26, 43, 60, todos ellos de la marca FTE" que igual para tu lugar de residencia ya que donde vives no se emite tdt por esas frecuencias.

Un saludo