Hello fellow Villagers! does any one have any working experience in using a hot tub at their house although not lined under a Lanai? Trying to figure out if we must spend $8-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio location and find out If your bugs/insects will be tolerable? (We might forecast the majority of