Hi fellow Villagers! does any person have any encounter in utilizing a incredibly hot tub at their home although not coated beneath a Lanai? Seeking to determine if we must commit $eight-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio place and find out In the event the bugs/insects is going to be tolerable? (We'd f