No, he also said WZLX HD3. He was speaking from the POV of the listeners. If you're listening to 1200 and the audio drops, you have two alternatives as a listener. The other two platforms were unaffected by the outage.
What you should really say is how amazing it was that they were able to ascertain the problem, dispatch an engineer to the transmitter, and fix the problem, all within 75 minutes during rush hour. Contrary to the subject line: Somebody WAS home, they were on the clock, and they did their job.