Hello fellow Villagers! does any individual have any encounter in employing a incredibly hot tub at their house but not included less than a Lanai? Attempting to determine if we must invest $eight-10k (ouch) on the Lanai extension or merely put in the recent tub on our BBQ patio place and find out When the bugs/insects will be tolerable? (We'd fore