Hi Fellow Villagers! does any one have any encounter in utilizing a incredibly hot tub at their home although not included less than a Lanai? Seeking to determine if we must expend $eight-10k (ouch) over a Lanai extension or maybe put in the hot tub on our BBQ patio place https://garrettvrwpu.wikiexpression.com/4356803/the_izmir_pergola_diaries