[maxhifi]

The scabby way to fix this would be to leave everything as-is, and solder a pair of 1N4007's and a dropping resistor in place of the 80. The silicon diodes won't need filamant voltage so the open winding becomes not needed. You can leave the 80 in place just for looks. You can figure out the resistor value by trial and error, start with say 200 ohms and work your way down.. a few wirewound 10W resistors would be a nice starting point. An 80 is more or less instant start anyway since it's directly heated. This is the $5 15 minute repair I'd go for, rather than all the nonsense involved in changing the whole power transformer.