Hi fellow Villagers! does any one have any working experience in using a warm tub at their household but not covered beneath a Lanai? Trying to determine if we have to commit $eight-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ patio spot and see When the bugs/insects will probably be tolerable? (We might forecast a