[cctalk] Wanted : Philips PSU-B3 (or -B4?) power supply for the P3800

I am working on a Philips P3800 computer, about 40 years old. It's a multiprocessor Turbodos machine, a mix of Z80's and 80186's The main problem is that I only have half the power supply. I have the PSU-M3 battery-backed memory supply, but not the logic supply. This I believe to be a PSU-B3 module, although from the circuit diagrams I have, I think a PSU-B4 would work. Outputs are +5V, +12V, -12V, +24V and maybe -5V. There's also remote on/off control, so it's not trivial to use a different power supply The base board is a 233*160mm double eurocard wth a 96 pin 0.1" pitch DIN41612 connector for the outputs and a 32 pin 0.2" pitch DIN41612 connector for the mains input. There is probably another board stacked on top of it (connected only to the baseboard, not to the backplane) and there may be a metal plate on top of the lot. Please let me know if you have any idea where to find one. -tony