Last night we came home to an armadillo swimming in our pool. He was just swimming around, and he climbed out from the steps and stood on the side of the pool and drank from it. Then he climbed back in the pool and went for another short swim before he got out and walked away. I know that armadillos are carriers of leprocy. Do I need to shock my pool?