Hi fellow Villagers! does anyone have any experience in using a warm tub at their house but not covered beneath a Lanai? Trying to determine if we must devote $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio location and find out Should the bugs/insects are going to be tolerable? (We'd predict the vast majority of