Rednecktek
Solar Wizard
I know this will probably get me lynched for saying on a DIY forum, but have you thought about a Pecron E-2000LFP and maybe an expansion battery or two? Smaller form factor, 2Kw inverter, all the ports, reasonable solar input, expandable, and pretty well reviewed. A bit pricier than doing a DIY setup but it's WWAAYY less complicated.