Loch in Stahlbetondecke

Schönen guten Tag,

ich habe mich neu im Forum angemeldet und bereits einige Beiträge zu vergleichbaren Themen hier gefunden. Trotzdem bin ich mir nicht sicher in unserer Situation:

Unser Rohbau (Flachdach) hat erst vor gut einer Woche die OG-Decke bekommen (Filigrandecke mit Ortbeton). Bei Anlieferung der Filigranteile ist zwar die beauftragte Sanitärfirma tätig geworden und hat die Lüftungsrohre verlegt, bevor der Beton drauf kam, nicht jedoch der Elektriker. Dieser hat jetzt erst, nachdem die 22 cm Decke bereits gegossen war, ohne Ankündigung ein Loch gehämmert und ein Rohr eingelegt. Schön sieht das jetzt natürlich nicht aus. Offenbar wurde diese Deckendurchdringung für die PV-Anlage in der Planung vergessen, ich hätte aber gehofft, er macht es dann bevor der Ortbeton drauf kommt. Zumal er ja wusste, dass er das Loch benötigt. Die Optik wäre jedoch weniger das Problem, die Decke wird abgehängt.
Jedenfalls soll jetzt das Dach gemacht werden und hierzu soll eine dampfdichte Dachdurchführung eingebaut werden. Die Planer meinen, das Loch wäre dann ausreichend verschlossen. Ich frage mich jedoch, ob das Loch nicht vorher noch von außen um das Rohr mit Beton vergossen werden muss, um Korrosion der evtl. offen liegenden Bewehrung zu unterbinden? Das müsste dann aber wohl laufen, bevor das Dach gedichtet wird.

Was meint ihr?

Viele Grüße.