Der Estrich lässt sich ja leicht aufstemmen und wieder zumachen, für ein Kabel jetzt nicht das große Problem.
Sehe ich auch so, das ist mit einer mauernutfräse und gutem Staubsauger auch relativ sauber zu machen.
Position muss freilich klar sein.
mfg