By the way, you might consider whether you can squeeze in a snorkel tour. The reefs around Marathon are very popular. If you leave Key West early enough and make good time, you can probably be in Marathon by the time most snorkel trips will be heading out (around 12:30 or 1pm). The reef is only a short boat ride away, and you can see a couple of sites in a 4-hour tour.