$10K for a 4.5kW system was always far too cheap IMO.
The RECs are worth about $9100 for 4.5kW in Sydney... so that makes it a $19,100 price.
Install would be around $3-4K for such a large system.
So that leave around $15,000-16,000 for the cost of the system components, which is well below...