Has anyone done the trip to the Dry Tortugas? If so, did you think it was worth it? How was the snorkeling? Can you tell me how long it would take to get there via boat vs. via plane? Any companies you can recommend to take the trip? Thanks for any guidance you can give me!