Hi fellow Villagers! does anybody have any knowledge in utilizing a hot tub at their home but not coated underneath a Lanai? Trying to determine if we must expend $eight-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio region and find out In the event the bugs/insects will be tolerable? (We'd predict nearly all of ou