Their total household usage was actually ~17.3 MWh depending on what data source you're using for their usage.
Given 6 MWh of exports with only 3.2 MWh of total solar production, they are cycling their powerwall to get paid for the fact that their off-peak rate is half the price of their peak export tariff rate which is inflating the number you're looking at.
Given 6 MWh of exports with only 3.2 MWh of total solar production, they are cycling their powerwall to get paid for the fact that their off-peak rate is half the price of their peak export tariff rate which is inflating the number you're looking at.