I'm having my pool remodeled and we're starting plaster tomorrow but I told the contractor that his guys forgot to fill in a 4" hole in diameter with concrete and he said not to worry that he will fill it with plaster. He said that it is better then concrete! Does anybody know if this method of sealing is ok for the long run?