The good news is, you can't turn tube anodes cherry red with a bad power transformer. My first question would be, what tubes turned red, drivers or finals? If only the drivers turn red, check the plate choke feeding DC into the caps of the eight finals. The flash that was seen, may have been...