They are a part of DTV Utah, but I don't think they have redundancy in their transmitters. I believe everybody else has a dual transmitter, which can operate with either/both amplifier "cabinets".
KSL had similar problems with our original transmitter. The screen supply just didn't like working at 9500' ASL. So, KSL is actually on our second DTV transmitter in 12 years.
KTVX should look in to getting one of the MediaFLO units. I think there are three or four in the SLC area.
....DTV Utah members are KUTV(2), KTVX(4), KSL(5), KUED(7), KUEN(9), KBYU(11), KJZZ(14), and KUCW(30)....KSTU(13), KTMW(20) and KUPX(16) are next door.... KUTH(32) is at Lake Mountain..... KPNZ(24) is in the KSL building, as is Telemundo (50, operating on 14 and 10)....KUCL(26) is on the East Bench, and 19 is on Ensign.