Hi fellow Villagers! does any person have any encounter in employing a scorching tub at their household but not included under a Lanai? Attempting to figure out if we need to invest $8-10k (ouch) over a Lanai extension or simply install the hot tub on our BBQ patio region and find out if the bugs/insects are going to be tolerable? (We might forecas