Hello fellow Villagers! does anybody have any knowledge in using a hot tub at their residence but not lined under a Lanai? Trying to determine if we must shell out $8-10k (ouch) on a Lanai extension or perhaps put in the new tub on our BBQ patio spot and see if the bugs/insects will probably be tolerable? (We'd forecast nearly all of our Incredibly