Hi fellow Villagers! does any individual have any experience in using a hot tub at their home but not covered less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio region and https://izmir-pergola69001.wikiparticularization.com/1375235/the_fact_about_izmir_pergola_that_no_one_is_suggesting