I feel like they overpaid maybe because they got direct to consumer rates for the gear. If you would have went through a full on solar installer that solar system would have come out to less than $15k, throw in having to get the subpanel and a reroof you would maybe be looking at $30k all in. (Not including the batteries, but by the time he got to the batteries I feel like his budget was way overboard even going the non-microinverter route).
Make sure you are buying and not leasing from the company, have that all rolled into a single loan and then you claim the tax credits to help pay for the reroof.
To add to this, they take care of getting the certified roofers, the city permits for both the roof and solar and handle the PTO for you, which from what you called out is even more costs.