So we made a huge mistake by not covering our pool for a patio renovation. The start of the concrete patio is about 13' away from the pool and my husband let me know small concrete bits got in the pool while they were jack-hammering the patio apart (along with dust). He tried his best to skim them but they sank quick to the bottom (above ground). I am guessing if I spend time with a leaf rake maybe diving that would be the best way to get it out? Also I assume the concrete dust will be taken care of by the filter? It is cartridge so I will do a full clean once this is done. GRRRRRR