Hello fellow Villagers! does any individual have any knowledge in employing a hot tub at their dwelling but not included beneath a Lanai? Seeking to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio region and see if the bugs/insects is going to be tolerable? (We'd forecast the vas