Hello fellow Villagers! does any person have any knowledge in using a very hot tub at their home although not protected below a Lanai? Seeking to determine if we must spend $eight-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio place and see When the bugs/insects is going to be tolerable? (We might predict nearly all o