Hello fellow Villagers! does any person have any practical experience in utilizing a very hot tub at their dwelling although not included below a Lanai? Striving to figure out if we need to devote $eight-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio space and find out If your bugs/insects are going to be tolerable?