Hello again! This is a bit of a silly question I realize, but I guess this pool building process humbles a person! So we are in the process of having a fiberglass pool installed right now. A bunch of gravel got pushed into the pool (in different areas). I tried scooping it out with a leaf scooping rake, but it just drags it around (Does this scratch the fiberglass? I’m scared to do that!) It’s way too cold to swim, otherwise we’d just jump in and fish it out. Also, there are tons of leaves in there, and the water is getting murky, so I can’t see all of the gravel. Should I not worry about it until next spring, when we can jump in to remove it? If they get all the plumbing/pool fixtures working, could I vacuum it out? Planning on getting a robot—would that get it out? What have others done in this situation, or am I the only one? I really appreciate any and all commiseration/help!