Hi fellow Villagers! does any person have any experience in using a sizzling tub at their residence although not included below a Lanai? Trying to determine if we need to commit $eight-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio place and see If your bugs/insects will likely be tolerable? (We would predict most of