Wenn ein Mangel vorliegt, dann beheben.
Das weißt Du vielleicht 6 Monate nachdem das gepflastert wurde und Ihr so richtig im neuen Haus wohl fühlt, bevor wieder alles aufgerissen werden muss. Oder der Käufer Eures Hauses in 27 Jahren merkt es.
Wenn die Empfehlung von jemandem kommt, der daran...