Hello Fellow Villagers! does everyone have any working experience in using a incredibly hot tub at their household although not covered under a Lanai? Striving to figure out if we need to commit $8-10k (ouch) over a Lanai extension or merely install the hot tub on our BBQ patio region https://izmir-awning71379.mappywiki.com/1363231/the_fact_about_izmir_pergola_that_no_one_is_suggesting