Fehlende Dämmung im Kellergeschoss

liebe forianer,

bei uns stellt sich nun heraus, dass im KG insgesamt 3cm dämmung fehlen. eigentlich sollte der aufbau auf der bodenplatte (20cm) wie folgt aussehen: 4cm styrodur, "katja", 6 cm dämmung (EPS) inkl. fussbodenheizung und dann 6cm estrich plus anschl. bodenbelag (in dem fall fliesen).
nun kam eher (und glücklicherweise) durch zufall heraus, dass der heizungsinstallateur nur 3cm dämmung eingebaut hat.
kellergeschoss ist eigentlich komplett fertiggestellt (hraus kam es bei bestellung & vermessung der innentüren) inkl. fliesen etc.
uns stellt sich jetzt die frage nach der auswirkung und der weiteren vorgehensweise.
wir planen einen sachverständigen zu rate zu ziehen um letztlich zu klären:
a) alles nochmal rausreissen und neumachen inkl. korrekter dämmung
b) so lassen und eine schadenssumme definieren lassen (letztlich haben wir aufgrund zu geringer dämmung ja einen erhöhten energiebedarf....für alle zeiten!)

hat hier jemand schonmal einen solchen fall gehabt bzw. kann erfahrungsberichte liefern. wie geht man hier vor? was wäre euer rat in einem solchen fall?

vielen danke für euer feedback im voraus!