Hi fellow Villagers! does any person have any experience in using a warm tub at their home but not coated beneath a Lanai? Seeking to determine if we must spend $eight-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio area and see When the bugs/insects will likely be tolerable? (We'd predict the vast majority of our H