Hello fellow Villagers! does anybody have any working experience in employing a very hot tub at their dwelling but not protected less than a Lanai? Seeking to figure out if we have to shell out $eight-10k (ouch) over a Lanai extension or merely install the new tub on our BBQ https://rylanwefec.wikififfi.com/1389330/pergola_things_to_know_before_you_buy