Hi, I've been left with my brother's tortoise while he's at university and I've noticed that the tortoise's shell has grown so that a thin, almost translucent edge of it has started to obstruct its tail. Is there a safe way to trim this back, or should I file it down or something other?