Hi fellow Villagers! does everyone have any practical experience in using a incredibly hot tub at their dwelling but not lined beneath a Lanai? Attempting to figure out if we must spend $eight-10k (ouch) on the Lanai extension or simply install the new tub on our BBQ patio area and find out In case the bugs/insects will probably be tolerable? (We w