Most are not so fortunate to be in your position. I’m impressed that you can get 4K watts of panels, mounting hardware, conduit and wire, an inverter and transfer switch for well under $3K.
Are you limited by available roof space? If I were in your situation, I’d install as much as possible, at least up to the wattage that would offset your total annual consumption.