Hello fellow Villagers! does anybody have any encounter in utilizing a very hot tub at their dwelling although not included less than a Lanai? Trying to determine if we need to expend $8-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio location and see In case the bugs/insects will be tolerable? (We'd forecast the vast