Hi fellow Villagers! does anyone have any working experience in utilizing a warm tub at their house but not coated beneath a Lanai? Trying to determine if we have to spend $eight-10k (ouch) on a Lanai extension or simply put in the hot tub on our BBQ patio area and find out In case the bugs/insects might be tolerable? (We'd forecast the vast majori