Just wondering if last week's opening of the government's virus edit brought the construction workers back to the Royal Palm or Flamingo? If anyone has seen the return of action at either resort, we'd love to know. We still have plane tickets for winter of 2021. Thanks.