Hi fellow Villagers! does anyone have any experience in using a incredibly hot tub at their residence but not coated under a Lanai? Seeking to determine if we need to invest $eight-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio region and find out In the event the bugs/insects might be tolerable? (We'd predict most