Hi fellow Villagers! does any one have any working experience in using a warm tub at their house but not included underneath a Lanai? Attempting to figure out if we must devote $eight-10k (ouch) over a Lanai extension or merely install the recent tub on our BBQ patio spot and see If your bugs/insects will likely be tolerable? (We might forecast the