Hello fellow Villagers! does any person have any experience in using a very hot tub at their home but not protected less than a Lanai? Attempting to figure out if we need to commit $eight-10k (ouch) with a Lanai extension or perhaps set up the recent tub on our BBQ patio space and see In the event the bugs/insects will be tolerable? (We would forec