Had a tiling company in to get rid of some glass wall mosaic tiles, redo with green ones. In the process of removing the old they’ve damaged the ceiling (see photo - it’s some sort of plasterboard covered with waterproof paint) and have pumped in a load of Silicon to try and mask it. Actually the damage is bad and they’re coming round to fix, but I don’t want to be fobbed off with a bit of whitewash. What would be the proper protocol to fix this professionally? Remove Silicon, clean area, fill, then paint? Sorry for my ignorance - just want a course I can insist on. Cheers.