Hi, an electrician chiselled out the wall to fix the cable running to a light switch but never came back to fill in the hole. I wonder of somebody could please tell me how this should be repaired as we now want to decorate and paint the wall. Is there a specific product that electricians use to fill the wall after they have chased in the cables? (Pic Attached) Thanks