We are planning a trip to the keys this December for a family getaway. We are a group of 4 very experienced divers. Were supposed to go to Belize but with the mask mandate and 9pm curfew we have cancelled. Looking for a resort with a dive op onsite. We prefer smaller groups and would like an operation that dives Pennekamp. Dove several times out of Taviner years ago but shop is long gone. Any suggestion on accomodations and op?