Plenty of these around.  This is a small one, maybe only three or four feet.  We did not see any big gators on the day we were there.