Hi fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their household although not covered below a Lanai? Striving to figure out if we need to shell out $8-10k (ouch) on a Lanai extension or perhaps put in the hot tub on our BBQ https://izmirtente54102.dekaronwiki.com/1376045/the_fact_about_izmir_awning_that_no_one_is_suggesting