Hi fellow Villagers! does everyone have any practical experience in using a incredibly hot tub at their household although not covered under a Lanai? Striving to figure out if we need to devote $8-10k (ouch) on the Lanai extension or just put in the recent tub on our BBQ patio space and find out Should the bugs/insects might be tolerable? (We might