Rumor had it that a particular alligator had been a pet when it lived in Berlin, but that's probably not true.
