When I posted the above today I really thought I had little hope of fixing the problem. With no documentation or info on the power supply, it was not looking good. It was sold as 'not working' on eBay and so was cheap, as was the 41501A that I had also bought cheap because it had no power supply. The odds of finding two allegedly broken parts of a unit that could be fixed and put together to make a working one (which sell for $5000 or so) was remote.
The power supply consists of 4 boards: the base unit in the pic above, a top unit and two interconnecting PCBs. One of the interconnecting PCBs, visible at the top of the picture below, runs power and a few control signals to the other. I had not disconnected it before as it was quite firmly attached to the top board. But today it came loose as I was trying to put the thing back together again. I noticed that it could go either way round! The connectors each end of it were identical. But the silk screen of the two PCBs gave the plug/socket numbers, which would, I thought, indicate the correct connection. Which was the opposite way round to what it had been all along...
Putting it back together and plugging it in and switching on, hoping it would not emit smoke... the fans started working! And when fitted into the 41501A, that powered up. And so connecting the 4155B and 41501A together I now get the HPSMU and PGU's recognised... how good is that.
Moreal of the story... check *everything* even the obvious.