May I ask a few questions regarding the pumps...
How and where does the ADP get it's source of air from? Directly from the engine bleed air?
Should all the 4 engines decide to quit would there still be a source of electrical power without having the batteries to come online since the AC motors are powered by EDPs (if I remember reading it this way!)?
Cheers... and as usual, thanks to all!