Isn't the 7 Seas Lagoon where there are mouseboats? I remember taking my kids out on them. Im pretty sure it was at The Grand Floridian. So what happens if someone is not swimming but falls off a damn boat and encounters a gator? Are they still at fault? Is Disney? Also, years ago they had fireworks cruises. Do they still have them? Yes, of course everyone knows there are gators in Florida but as someone else posted, it wouldn't register on my awareness radar in Walt Disney World. I would just expect that activities would not be planned in bodies of water where I could get eaten