Un poco escaso. 4.000 para paredes y suelos podría ser justo. Los costes de conexión se pueden precisar con unas cuantas llamadas. Carport/Garaje (¿qué debe ser?) también podría ser un poco poco. En última instancia, me preocuparía más por la casa y su contenido que por las áreas exteriores. Estas pueden esperar un poco más si es necesario. Pero hay cosas en la casa, que yo hago o dejo hacer: ventilación controlada de espacios habitables, Smart Home, cableado en general, chimenea interior... Así que primero me aclararía con la casa, muchas cosas se resuelven después (también los costes de pared/suelo).