Hello fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their house but not protected less than a Lanai? Attempting to figure out if we need to shell out $eight-10k (ouch) with a Lanai extension or perhaps set up the new tub on our BBQ patio spot and find out If your bugs/insects is going to be tolerable? (