Nice system.
In your case you can in theory export at 14kw, the Powerwall has its own inverter, so if both PV arrays were at max and the power wall exported at max, then in theory that's 14kw. I have an existing 3.68kW SolarEdge FITS system (4kW of panels), and added an additional 4.74kW of PV on my garage, but fitted 29kWh of batteries and an 8kW inverter, so I applied and got 11.68kW export capacity, but at one stage they told me the battery side doesn't matter, its just the installed solar, well that's only 8.74kW, but I can exceed that by exporting from the batteries if the SE system was at max. I also know somebody else that had similar issues.
As I understand it the regulations we're changed recently, and you can now alter a FITS system, and get paid pro-rata as per the original system size, obviously this will require an MCS installer.