Hello fellow Villagers! does any one have any experience in using a incredibly hot tub at their home although not coated less than a Lanai? Hoping to figure out if we need to expend $eight-10k (ouch) on a Lanai extension or just put in the hot tub on our BBQ https://jeffreyqdozj.jasperwiki.com/6633615/pergola_things_to_know_before_you_buy