Shadow, my red eared slider, is scratching his shell a lot on a rock. he seems to enjoy it, but over the last few weeks, it seems he's scratched off the green color of his shell. In fact, his shell looks...white. Soldier is beginning to do this also. Will they be alright? P.S. Jimmy has about a week left of his quarantine, then I'll put him in with the other turtles.