Hi fellow Villagers! does anybody have any working experience in using a very hot tub at their property although not coated under a Lanai? Striving to determine if we must shell out $eight-10k (ouch) with a Lanai extension or simply set up the recent tub on our BBQ patio spot and see if the bugs/insects will be tolerable? (We would forecast the vas