Hi fellow Villagers! does anybody have any experience in using a very hot tub at their household although not included beneath a Lanai? Seeking to determine if we must expend $eight-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ patio place and find out In the event the bugs/insects are going to be tolerable? (We mig