We are having a new liner installed and noticed there is alot of that pea gravel underneath it. It has not been trimmed out yet they have just added a small amount of water. Should we have them pull it up and remove that or will it make a difference?