Seriously, don't use gravel
Ok. I'm officially a believer in the no-gravel for turtles. When I got my little turtle it was being kept in one of those large bowl things with small multi-colored gravel. I ended up using gravel they gave me when I first got home... I picked aqua colored gravel. However, after about a week I removed it (more from it being difficult to clean than actual safety concerns, to be honest). Anyways, it's been a few months now and the other day I found a little purple pepple in the bottom of the tank. It is veeery tiny, but a small pebble nonetheless. Anyways, the point being that I myself NEVER used purple gravel and it's been several months. That was stuck in him all this time! I actually did kind of wonder if I would ever see any because he had been kept in gravel, but I assumed he'd been too small to eat the gravel. Wrong, there is always a pebble small enough especially in the smaller sized gravel. So that's just my thoughts. Hopefully that's it and he won't ever get sick from anymore that might be in there. 