Hello fellow Villagers! does everyone have any experience in utilizing a hot tub at their home but not lined beneath a Lanai? Trying to figure out if we must devote $eight-10k (ouch) with a Lanai extension or maybe put in the recent tub on our BBQ patio area and find out In case the bugs/insects will likely be tolerable? (We would predict the vast