I can see on Google streetview that there used to be Philippine Crocodiles over in the Florida area (oddly), beside the water ride. Does anyone have any idea when they went away and if so, to where? I was not aware that they had them, it could not have been that long that they were on display.