Gracias a ambos.

A ver si encuentro una lista de canales de Hispasat, que llevo un rato mirando y no doy