Hello fellow Villagers! does any person have any practical experience in using a incredibly hot tub at their house although not coated under a Lanai? Trying to determine if we must devote $eight-10k (ouch) over a Lanai extension or perhaps set up the recent tub on our BBQ patio region and see When the bugs/insects will be tolerable? (We might forec