Hi fellow Villagers! does anyone have any knowledge in employing a very hot tub at their household but not lined under a Lanai? Seeking to determine if we have to invest $eight-10k (ouch) over a Lanai extension or merely put in the recent tub on our BBQ patio spot and find out When the bugs/insects will likely be tolerable? (We would forecast most