July was a "lucky" Covid month for us too -- we had three of the five in our group come home with an extra souvenir! Luckily just cold like symptoms. If I remember correctly, we wore masks on the plane. As pburke40 said, no masks on the beach or in open air restaurants. A few of us did go to the casinos and were there without masks. That may have been where we lost more than just our cash.