Below is a picture of part of the boardwalk out over Lake Dora at Palm Island park in Mt Dora. In the background you can just make out the small red and white lighthouse, left of center, on Grantham Point. Downtown is beyond that, behind the trees. The alligator in the video was going underneath that small covered extension of the boardwalk.