Hello fellow Villagers! does anybody have any experience in employing a incredibly hot tub at their house but not included less than a Lanai? Attempting to determine if we have to spend $8-10k (ouch) over a Lanai extension or merely set up the new tub on our BBQ patio place https://pergola95713.blognody.com/35985068/details-fiction-and-tarpaulin