I have his big brother, the 4065A. The main board looks identical to yours. It also has the internal cesium unit model #5045A including the strange conformal coating over part of the board. You can see pictures of mine here:
http://s701.photobucket.com/user/edpalmer42/media/Datum%20FTS-4065A/SAM_0322_zps0r3j6ssc.jpg.html?sort=4&o=0But before you get too involved, I have two things to tell you about.
First, a cesium standard has a limited lifetime. Whenever it's on, it's using up its supply of cesium. Once that's gone, the cesium tube is a paperweight and the entire unit is a boat anchor. So, if you've got the equipment, you should test the tube. I've attached the test results from my tube.
Second, on the main board, look at U51. It's in a PLCC44 package. It's an STEL-1173 NCO (Numerically Controlled Oscillator). This chip almost always fails with age. Since it's a obsolete, specialized chip with no second source, it's hard to find. I got mine a couple of years ago from here:
http://www.aliexpress.com/item/Free-shipping-10PCS-STEL-1173-CM-PLCC/2023682701.htmlI chopped out the old chip and soldered in a socket so I can replace it easily if necessary.
Actually, the chip failure could be a good thing. Hopefully, the chip failed before the tube ran out of cesium. That's what happened with mine. There's no way to tell how much cesium is left, but mine is working okay for now.
So, if the power supply repairs look reasonable, go for it. It'll make the other tests a lot easier. If not, maybe you could remove the failed power supply and substitute external supplies as necessary.
Let me know if (when!) you have more questions.
Ed