While cleaning the pool last night I noticed a small pile of gravel (about silver dollar sized) between the ladder and the wall. I tried to get the pool vac to pick it up, then the venturi vac - no go, this is one spot where we had a few small indentations in the sand so it just lays there. I do not want to push it around with the pool brush for fear it will damage the liner. Any suggestions, other than diving in and picking it out with my fingers? We have some gravel nearby and I know the boys (teens) have not been showering off feet EVERY time before they jump in - imagine that....

I can foresee this happening again....