We noticed as we have been brushing our new build / freshly plastered pool that there are a few fibers sticking through the plaster around the pool. Is this something we need to be concerned about? Our pool builder said that the plaster company usually burns off any fibers prior to finish...