They would have been fucked if it was a crocodile. American alligators are usually super chill and aren’t a problem so long as you aren’t actively antagonizing them. Crocodiles, meanwhile, are colossal assholes that are always looking to fuck up someone’s day.