Have a Tektronix 2235 CRO Power supply died. If I bypass the regulator and feed 45V into the SMPS section it seems to work but runs at about 100KHz instead of the correct 20KHz. Cannot fault any of the active components. Could it be one of the transformers? Has anyone any ideas?