Okay this happened to my friend.
He was diving golf course lagoons for golf balls. Has done it for a few years off and on.
He's run into gators under water before but the gators don't seem to pay any attention to him. He is worried about cotton mouths biting him when he comes out of the water.
It was mating season but my friend didn't think much about it. Gator mounted him and my friend could feel him wrapping his paws(?) around him.
Survival chat, what do you do? Be humped? Fight with gator? Just try to slip away like one of puddle monkeys dates?