Yes, the external redundant power supply.
I'm looking at x400s, not x440s.
I know I need the 10906 and 2x 10907s, but no one on the second hand market has the cables and all the Extreme documentation I find says the cables come with the modules... but that's new, not second hand.