Hi fellow Villagers! does anybody have any practical experience in using a incredibly hot tub at their dwelling although not protected below a Lanai? Hoping to figure out if we need to expend $8-10k (ouch) on the Lanai extension or merely set up the new tub on our BBQ patio space and find out When the bugs/insects will probably be tolerable? (We'd