Hello Fellow Villagers! does any person have any practical experience in employing a very hot tub at their property although not included under a Lanai? Seeking to figure out if we must expend $8-10k (ouch) over a Lanai extension or merely install the hot tub on our BBQ patio place https://marcoschxo.wikipublicist.com/5184300/5_essential_elements_for_pergola