Thats not really a big gator, could probably just get a rake, pin down its head then go pick it up/tape it up, or just do what he did really. It still has that juvenile thinness/look, has some length but not the girth/chonkiness.
Theres a reason that having a bajillion gators wandering around...