Hi fellow Villagers! does anyone have any knowledge in using a incredibly hot tub at their house although not included below a Lanai? Attempting to determine if we have to expend $eight-10k (ouch) with a Lanai extension or just install the recent tub on our BBQ patio place and find out When the bugs/insects will likely be tolerable? (We would forec