Hello fellow Villagers! does everyone have any knowledge in utilizing a incredibly hot tub at their household although not included beneath a Lanai? Striving to figure out if we must invest $eight-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ patio region and find out In the event the bugs/insects will be tolerable? (W