Hi Fellow Villagers! does any individual have any expertise in using a very hot tub at their house although not protected less than a Lanai? Attempting to figure out if we need to expend $eight-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ https://devinjjeys.cosmicwiki.com/1394340/pergola_no_further_a_mystery