At some point during the cleanup of debris our bench got damaged and has a big gash in it now. The contractor was planning to plaster over the old plaster. Will this be able to be fixed And made to look seamless? I know there are some instances where the whole pool needs to be chipped out… Not sure if this is necessary or if they can go ahead as planned.