Under water it’s hard to tell. However… here the end of his nose, just above the water, was over a foot away from his eyes. Now I know why EJ kept waving at me and pointing down.

This one probably moves between the rivers and marsh nightly.
An average adult American alligator’s weight and length is 360 kg (790 lb) and 4.0 m (13.1 ft). So this one, a few feet off the dike, is just an average run of the mill guy.
Good to know.