Swimming pool maintenance tools