My tortoise has really long nails and I was told by people at my local pet store that I should just let them grow. I have rocks in there enclosure but they don't seem to be doing anything to the nails, I wanted to file them a little with a delicate nail file that I have. Should I do it or just see what happens?