I've seen the head and flippers. It's obviously a very big turtle, but if you walk to the coast, you can see for yourself.

A while back, there used to be a dozen baby turtles of the same species wandering the streets. Foreigners were standing in for their parents. They decided to strike off on their own last year, though.

[that actually gets melancholy look]