Hello fellow Villagers! does anybody have any encounter in using a incredibly hot tub at their property although not included below a Lanai? Hoping to determine if we need to invest $8-10k (ouch) over a Lanai extension or maybe install the hot tub on our BBQ patio region and see In case the bugs/insects will likely be tolerable? (We would forecast