Hello fellow Villagers! does any one have any experience in utilizing a hot tub at their residence but not included under a Lanai? Making an attempt to determine if we need to commit $eight-10k (ouch) over a Lanai extension or just install the recent tub on our BBQ patio area and find out When the bugs/insects will probably be tolerable? (We'd pred