Hi fellow Villagers! does any one have any practical experience in using a very hot tub at their household but not lined underneath a Lanai? Striving to figure out if we need to spend $eight-10k (ouch) with a Lanai extension or simply install the new tub on our BBQ patio area and find out if the bugs/insects will likely be tolerable? (We'd predict