Hi fellow Villagers! does anyone have any experience in utilizing a very hot tub at their house but not covered beneath a Lanai? Making an attempt to determine if we have to spend $8-10k (ouch) with a Lanai extension or perhaps install the new tub on our BBQ patio spot https://dantesvsoi.topbloghub.com/40474380/pergola-no-further-a-mystery