Sounds like fun, and a great location there by the Lorelei.

I would like to correct one thing in the P.R. May is NOT high season in the Keys. It is one of the most low-season, low-rate, low-traffic months, because it is after the winter/spring high season and before the summer season when South Florida people start coming down on weekends.