Hi fellow Villagers! does any individual have any working experience in utilizing a hot tub at their home but not lined under a Lanai? Striving to determine if we need to expend $eight-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio location and find out If your bugs/insects will be tolerable? (We'd predict the vast