We have family in Destin, so we go there at least once a year. However, this year was little different. We visited in June 2020 during the pandemic. For the most part, we had been in our house for the prior 3 months. We weren’t sure what it was going to be like to fly again. We didn’t know if…