Hello fellow Villagers! does any person have any knowledge in utilizing a incredibly hot tub at their home but not coated beneath a Lanai? Hoping to determine if we need to expend $8-10k (ouch) over a Lanai extension or simply just set up the recent tub on our BBQ patio https://izmirtente05048.azuria-wiki.com/1370535/the_fact_about_izmir_pergola_that_no_one_is_suggesting