Beschädigung Kappendecke > Stabilität?

Hallo und guten Tag,

ich bin neu hier und habe mich angemeldet, weil ich die Einschätzung von euch Experten benötige.

Unser Heizungsbauer hat beim Verlegen der Rohre die Ziegelstein-Kappendecke im Keller beschädigt (siehe Bilder), weil er herausfinden wollte, wo der Stahlträger sitzt, damit er mit dem Rohr daran vorbei kommt.
Er hat angeboten, die beiden Löcher mit Schnellzement zu schließen und ich bin mir unsicher, ob das ausreicht.

Meine Frage lautet daher: Ist damit der Stabilität der Kappendecke genüge getan, wenn das mit Zement verschlossen wird? Oder würde die Decke instabil werden und müsste das "professionell" verschlossen werden?

Vielen Dank für eure Hilfe.

Viele Grüße,
Fuexy

 

Danke für die schnelle Rückmeldung.
Ja, wir fanden es auch merkwürdig. Grund war wohl, weil er ursprünglich von oben gebohrt hatte und nicht wusste, wo er rauskam (er ist mehrmals mit dem Bohrer auf dem Stahlträger gelandet)... Daher hat er die Decke von unten geöffnet, um zu gucken.