I pulled the wrong plug in closing my pool last season, and lost some of my sand. What would you experts suggest I do now? I don't know the volume of sand I lost, so I wouldn't know how much to add. Should I guess or should I remove ALL of it, and refill? What type of sand do I need, and...