I've got solax so can say why the 7.5 + 3, its because the largest single phase inverter is a 7.5
Has your installer quoted for a matebox? If so then they can easily change that for a matebox advanced and that will give the whole house EPS, its about £600 to do that.
If your having this type of system your batteries will be linked to a primary inverter thats attached to the matebox, and ultimately the batteries.
The second inverter will be attached to the incoming in effect with only the primary having direct access to the batteries. 20kwh is probably the 5 HV's which can be setup on one inverter. (1 master with 3 slaves)
Should be noted these batteries do not have heaters which IMO you should consider unless they will be in a warm place.
The secondary inverter will be merged into the hybrid inverters CT clamp so that its in effect dumb, and the primary will see the joint position in regards export/import and react accordingly.
This will probably explain it better than I have done, or maybe not
kb.solaxpower.com
I wouldn't have recommended Solax until recently but the TOU stuff the inverters can now do its really good. The website now functions well giving all the info you would want.
Make sure you get a real time capable wifi module if you want that functionality as the default is (was could have changed) the 5 minute interval one.
Is it the Solax X-ESS G4 system? Its what I have and has the benefits of looking like an all in one but actually being modular.
(Matebox pulls all the wiring, breakers etc into one box so no external switches but if something fails you can swap out a component)
It may not be though as I dont think the 5kw batteries will integrate with this system, it uses the newer 3.1kwh batteries.
Which were limited to 12kwh but you can now run 8 via a parallel box, so you can do combinations of 3,6,9,12 without or 18,24 with