Do you _want_ to repair this? Otherwise you could keep
your eyes open
for an 11/34 or 11/44 or spares. I _think_ they have the same PSU
(otherwise I hope someone corrects me)
Not at all, alas.
It is possible to put the 11/40 backplane/CPU into the BA11-K (I think
that's the number) which was used with the 11/34, but Seth's photos show
a totally different supply to that one.
The 11/44 PSU is totally different again.
-tony