Hello fellow Villagers! does any person have any expertise in using a warm tub at their home but not coated beneath a Lanai? Trying to determine if we need to devote $eight-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ patio location and see When the bugs/insects will likely be tolerable? (We might predict the major