A bit tight. 4,000 for walls and floors could be tight. Connection costs can be precisely determined with a few calls. Carport/garage (what is it supposed to be?) could also be a bit low. Ultimately, I would rather think about the house and its contents than about the outdoor facilities. These can possibly wait a bit longer. However, there are things inside the house that I do or have done: controlled residential ventilation, smart home, general wiring, internal chimney... So I would first get clear about the house; much will then follow (including the costs for walls/floors).