En principio no se debería hacer ninguna roza ya quelo que hay es poliespam y una capa de hormigon (son bovedas huecas de hormigon rellenas de poliespam). Lo que podrías hacer es bajar el techo con escayola pq puede que si haces rozas se joda la estructura.