Dead Possum in Pool

I found a dead possum in my pool this evening. It was probably in there no more than 12 hours. After removing it I double shocked the pool. I didn’t see any open wounds on the animal but its’ pretty nasty to have one in the pool.

Would you all drain and refill or will the chlorine be enough to kill anything nasty in the water?

In ground, 23000k, chlorine, DiamondBrite Plaster, Houston, TX
 
I doubt a drain is required, especially considering the short length the animal was in the water and size of your pool. Shocking was a good move as well. Still, let's solicit the response of @JoyfulNoise who may have some specific advice related to that critter and its potential effect on your water. Matt?
 
Thread Status
Hello , This thread has been inactive for over 60 days. New postings here are unlikely to be seen or responded to by other members. For better visibility, consider Starting A New Thread.