Hi fellow Villagers! does anybody have any knowledge in utilizing a hot tub at their home although not lined below a Lanai? Attempting to determine if we have to invest $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio spot and see Should the bugs/insects might be tolerable? (We would predict the majority of our Scorc