Hello fellow Villagers! does any one have any experience in using a warm tub at their property although not included under a Lanai? Hoping to figure out if we must expend $eight-10k (ouch) with a Lanai extension or maybe install the hot tub on our BBQ patio location and see In the event the bugs/insects will probably be tolerable? (We would forecas