Now, http://www.turtlecare.net/cat.htm says
Copyright by Valerie Haecky. This document may be freely
distributed for non-profit use, provided this notice is
If you keep your turtles indoors, it is a good idea to cover
their enclosure. Cats and dogs love to play with turtles. In
the best case, the turtle is picked up, carried around, and
let go. In the worst case, the turtle is bit, mauled, and
killed. The smaller the turtle, the higher the risk. A cat
will eat a crunchy baby turtle, if for no other reason than that
it's fun to crack the shell. A dog will rolla turtle around
and play with it, which can do a lot of damage to a turtle.
Please, cover your indoor enclosures if you also have a dog
or a cat (or a ferret, or any other predatory pet).
Neither the cat nor the turtle have gotten with the program.
Video thanks to Noodlefood.