Hi fellow Villagers! does anyone have any practical experience in utilizing a hot tub at their residence but not lined underneath a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) on the Lanai extension or merely put in the new tub on our BBQ patio place and find out If your bugs/insects will be tolerable? (We might predict almos