I went back to fenders and he advised me I probably lost them to a couple of things the biggest being my pond overflow. Anyway I bought new and they are doing great. I have one with little red dots on its tail it looks like warts does anyone know what this is? Should I get him out or leave him?