So I just picked up my turtle to try and check for eggs around the back (since it's big, and won't stop swimming/scratching the glass), when I got a good scratch on my pinky from one of its claws. It's not bleeding (Well I found a tiny red spot on my pinky, but it has since then dried up). It doesn't hurt much, but now my pinky is red and swollen a bit, and a bit of white marks (where the turtle scratched), this was just 10 minutes ago. I've washed my hands since, but just wondering should I be taking this seriously?
I wasn't able to feel in front of the rear legs, but the area just next to the tail seems a little puffy, and I felt something hard. I'm not sure if this was just its skin or what, since I only had a second before I got scratched.

