Hi fellow Villagers! does anybody have any experience in employing a warm tub at their house but not covered underneath a Lanai? Making an attempt to determine if we must invest $8-10k (ouch) over a Lanai extension or perhaps install the recent tub on our BBQ patio spot and find out Should the bugs/insects might be tolerable? (We might forecast the