Hello fellow Villagers! does everyone have any practical experience in utilizing a warm tub at their residence but not covered underneath a Lanai? Seeking to determine if we must expend $8-10k (ouch) on a Lanai extension or simply just install the new tub on our BBQ patio region and find out Should the bugs/insects will be tolerable? (We'd forecast