Hi fellow Villagers! does any one have any knowledge in employing a very hot tub at their residence but not included below a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio space and see if the bugs/insects will be tolerable? (We'd forecast most of our Incredibly hot t