Hi fellow Villagers! does anybody have any encounter in using a hot tub at their house but not protected below a Lanai? Hoping to figure out if we need to invest $eight-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio place and see Should the bugs/insects is going to be