Hi Fellow Villagers! does any one have any knowledge in utilizing a incredibly hot tub at their residence but not included under a Lanai? Striving to determine if we need to commit $8-10k (ouch) on a Lanai extension or simply just put in the hot tub on our BBQ patio https://tarpaulin46802.wikienlightenment.com/7618700/a_review_of_izmir_pergola