Hello fellow Villagers! does everyone have any working experience in utilizing a very hot tub at their house but not protected beneath a Lanai? Attempting to figure out if we must devote $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio area and find out In case the bugs/insects are going to be tolerable? (We would fo