Hi fellow Villagers! does everyone have any working experience in utilizing a hot tub at their household although not protected under a Lanai? Attempting to determine if we must commit $8-10k (ouch) on the Lanai extension or simply just install the hot tub on our BBQ patio spot and see if the bugs/insects will be tolerable? (We would predict the va