Hmmm. That doesn't always seem to be the case. It seems that the only time AC flows to the red bezel circuits is when the battery chargers are on. If the battery chargers are off, then those circuits seem to run off of the inverters only and all the 30 amps go to the other circuits. I have seen the total volts in the 40s and low 50s with the battery chargers off without tripping the 30 amp breaker and the only explanation I can imagine is that those amps over 30 are being supplied by the inverters.
I have always wondered if my inverters are wired strangely since they only provide AC to the red bezel circuits if the battery chargers are on.