Heh, I'm glad I'm not the only one who thought to name their pet terrapin after the Great Turtle itself. And it can fit to turtles of either gender, since Great A'tuin's gender is still a mystery to the inhabitants of Discworld (though The Light Fantastic did give some hints about that....).