Unfortunately, we found a dead baby rabbit in the pool this morning - they are all over the place in NTX. Chlorine levels are good. Is there anything special I have to do? Should I SLAM it to be safe or does a dead rabbit require different sanitization? Thx.