Does anyone know the composition of what the green corrosion on copper pipes is? A small amount of chips have flaked off and fallen into part of my sump in the basement. I'm wondering what my level of concern should be. Haven't seen any ill effects other than losing a banded shrimp. Thanks for any thoughts