Hello fellow Villagers! does anybody have any practical experience in employing a very hot tub at their property although not included less than a Lanai? Hoping to figure out if we have to commit $eight-10k (ouch) on a Lanai extension or just set up the hot tub on our BBQ patio location and see if the bugs/insects is going to be tolerable? (We migh