Hello fellow Villagers! does anybody have any encounter in using a incredibly hot tub at their residence but not included less than a Lanai? Attempting to determine if we must invest $8-10k (ouch) with a Lanai extension or perhaps set up the hot tub on our BBQ patio place and see if the bugs/insects is going to be tolerable? (We would predict almos