Hello fellow Villagers! does any person have any practical experience in utilizing a warm tub at their household but not included under a Lanai? Seeking to figure out if we need to invest $8-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ patio region and find out Should the bugs/insects will be tolerable? (We might pred