Crocodiles i.e. alligators at Alligator Joe's, Palm Beach, Fla.