After the babies morning soak I noticed little Bobbie had a tiny scratch on his head. I asked the kids about it and my oldest son admitted that he accidentally let the cat in the room and he was 'messing' with the turtles when he caught her. AHHH! Anyhow, the scratch is tiny, maybe 3mm, and Bobbie didn't seem bothered by it but I wanted to see if there is anything special I should be doing? I rinsed it with fresh water (I usually rinse them if they poop in there water) but didn't want to irritate it further. I just know cat bites/scratches can get nasty. I can take a pic later if needed. Thanks in advance!