Hello fellow Villagers! does any individual have any expertise in employing a scorching tub at their dwelling although not lined beneath a Lanai? Attempting to figure out if we need to shell out $8-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio location and find out if the bugs/insects will be tolerable? (We would fo