He does not seem that bad for usage
“In 2012, the average annual electricity consumption for a U.S. residential utility customer was 10,837 kWh, an average of 903 kilowatthours (kWh) per month. Louisiana had the highest annual consumption at 15,046 kWh and Maine the lowest at 6,367 kWh.”
How much electricity does an American home use? - FAQ - U.S. Energy Information Administration (EIA)
We are higher but we have a Chevy Volt that we are driving about 20,000 solar power miles a year. We have a pool. We will make about 18,000 KWH this year and not cover everything.
But it is MN Renovator is 100% right reduce usage is much cheaper than adding more solar to cover it.