95%(maybe more)of gators are not big enough to attack a 150 lb human.
Alligators run or go under water at the slightest sign of a human. They are ambush predators.
He would be more likely to get snake bit.
I saw a few large ones in the Everglades. They feel safe in the water, and reasonably safe basking near water. An idiot friend of mine had to touch one, once. About an eight footer. As soon as he touched the top of its tail, it dove in the water. The biggest one I saw was basking on a road, and as soon as the car got too close it scrambled and dove into shallow water. The scariest thing about it was how fast it disappeared in what looked like two feet of water. I inadvertently found myself about 6 feet in front of a mother with newly hatched babies. They were between us, so I froze and backed up slowly. An adrenalizing experience.