That 5.5 kW number - where do they get all that power? Is it all just solar?
5.5 kW is not a lot of power, modern buses for geostationary satellites (i.e., 720HP) can produce close to ~18 kW, of which ~80-90 % are normally used by the payload in a communications satellite.