In https://sc1.checkpoint.com/documents/Appliances/GSG_V2V3/EN/Content/Topics-V2-V3/Front-Panel.htm?toc... we read about the front LEDs of the 1800:

Now the red LED for Power redundancy will only light if only one PSU is connected, but is off if Power redundancy is available - we can see the status of Power redundancy in cpview:

On the front LEDs the Power redundancy LED is off and everything is OK:

It seems that the Quantum Spark 1600 / 1800 Appliance Getting Started Guide is slightly incorrect here 8)
CCSP - CCSE / CCTE / CTPS / CCME / CCSM Elite / SMB Specialist