Hello fellow Villagers! does everyone have any encounter in employing a incredibly hot tub at their dwelling although not included below a Lanai? Striving to determine if we need to spend $8-10k (ouch) on the Lanai extension or perhaps install the new tub on our BBQ patio spot and see When the bugs/insects are going to be tolerable? (We might forec