Hello fellow Villagers! does everyone have any practical experience in utilizing a very hot tub at their residence but not covered under a Lanai? Striving to determine if we must expend $8-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ patio spot and find out When the bugs/insects will be tolerable? (We might forecast the