Yes, it is. I had thing shipped in bits and pieces with 3 boxes, due to international weight and shipping limitations. Don't ask how much that cost..
Pile of parts, eh?
PCBs set in a way how they are in the unit.
Key metrology component in the 5725A booster is High voltage sense assembly:
I was lucky to get one of later versions of this module in the unit, perhaps replaced during service sometime around year 2002 in the life of the box, as rest of the boards are dated 1993. This board have Fluke Thermal Sensor chip for AC/DC transfers, just like AC function boards in 57xx/792A and 5790A. Attenuator for 1100V AC and DC range is custom Fluke hermetic resistor network hiding under PCB block on top middle section.
How is all together in one piece again, so Digikey parts ordered to proceed with further repairs/troubleshooting as required. All electrolytic (except four huge 50000uF 20V caps, don't have those in stock) and tantalum capacitors, all carbon composition resistors will be replaced without questioning first, as preventive measure.
Quick power on check didn't cause any fires or smokes, and Hulk happily reported fan problem and locked down all controls. Good start I guess.
In case you wonder what's wrong with the fan: