Hi fellow Villagers! does everyone have any encounter in utilizing a incredibly hot tub at their house although not protected below a Lanai? Making an attempt to figure out if we have to devote $eight-10k (ouch) with a Lanai extension or simply set up the recent tub on our BBQ patio place and see When the bugs/insects will likely be tolerable? (We'