As far as which of the two caps to use: you’d have to do a little bit of research and see if both versions of the CDE caps were available at the time of the EAD1000 production. If so, then the designers made the choice.
According to the specifications of EAD powermaster 1000, it is a 5-channel power amplifier with a power output of 200W RMS per channel into 8 ohms and 375W RMS per channel into 4 ohms.
It looks like the 50V power supply filter capacitor might be a little too low for its duties, did you measure the rail voltage?
When I went this route I reached out to Noble Electronics who are the only authorized EAD service center to ask if there were any other possibilities or weak spots, and he only suggested the two large caps. I guess i’ll focus on those, and maybe reach out and see if he’d suggest an alternative or what he uses.
If budget and space allow, my recommendation would be the EPCOS / TDK B41456B8100M000, 100,000uF 63V capacitors, 12000 Hour life @ 85°C with 4mΩ ESR and 57A ripple current.
Lower ESR means lower internal operating temperature, and every 10°C difference will double or decrease the life of the capacitor! A capacitor rated for 12,000 hours at 85°C will have a useful life of 96,000 hours if operated at 55°C.
https://www.tdk-electronics.tdk.com/inf/20/30/db/aec/B41456_B41458.pdf