~10k, not sure if 4kw would have been enough for us or whether should go with 6kw (Panels could fit on other side of roof if need be) and if you could make batteries charge via solar only
You are close to my usage, and I have an 8kw system and on some days can still be drawing from the grid, go as large as you can afford.