Hi Fellow Villagers! does everyone have any knowledge in employing a incredibly hot tub at their home but not included under a Lanai? Striving to figure out if we need to devote $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio area https://brookscpzku.wikipublicist.com/5179333/5_simple_statements_about_izmir_awning_explained