Hello fellow Villagers! does anyone have any practical experience in using a warm tub at their property although not covered beneath a Lanai? Hoping to determine if we have to devote $eight-10k (ouch) on a Lanai extension or maybe put in the hot tub on our BBQ patio area and see In the event the bugs/insects will be tolerable? (We might forecast al