Hi fellow Villagers! does everyone have any expertise in using a hot tub at their property although not included below a Lanai? Hoping to determine if we must devote $8-10k (ouch) over a Lanai extension or just install the new tub on our BBQ patio area and see if the bugs/insects is going to be tolerable? (We might forecast most of our Very hot tub