Hello fellow Villagers! does any person have any practical experience in employing a scorching tub at their house but not lined less than a Lanai? Attempting to figure out if we have to invest $eight-10k (ouch) over a Lanai extension or simply just install the new tub on our BBQ patio place and see When the bugs/insects will likely be tolerable? (W