Hi fellow Villagers! does anybody have any expertise in employing a hot tub at their house although not included underneath a Lanai? Trying to determine if we need to shell out $8-10k (ouch) with a Lanai extension or maybe install the recent tub on our BBQ patio place and see When the bugs/insects is going to be tolerable? (We would predict nearly