Hi fellow Villagers! does any individual have any expertise in utilizing a scorching tub at their house although not lined below a Lanai? Hoping to determine if we need to spend $eight-10k (ouch) with a Lanai extension or merely install the hot tub on our BBQ patio area and find out When the bugs/insects will likely be tolerable? (We'd forecast alm