Hi fellow Villagers! does anybody have any encounter in using a incredibly hot tub at their household but not lined underneath a Lanai? Attempting to figure out if we have to commit $eight-10k (ouch) with a Lanai extension or merely put in the new tub on our BBQ patio location and see Should the bugs/insects will probably be tolerable? (We might fo