Going to Key West on a cruise. We are only in port from 8AM until 2PM. I have been before, but have never walked to the Historic Key West Sea Port. Is it worth seeing?? How far is it from the cruise ship dock?? I also want to spend an hour or two at Fort Zachary just relaxing and maybe snorkeling a little around the rocks. Does that sound like a good plan for limited time??