Hi fellow Villagers! does anybody have any working experience in utilizing a incredibly hot tub at their household but not protected under a Lanai? Attempting to figure out if we need to commit $eight-10k (ouch) over a Lanai extension or simply install the hot tub on our BBQ patio area and find out In the event the bugs/insects are going to be tole