Hi fellow Villagers! does any one have any encounter in using a very hot tub at their house although not covered beneath a Lanai? Attempting to figure out if we must spend $eight-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio area and find out In the event the bugs/insects is going to be tolerable? (We would foreca