Hi Fellow Villagers! does anyone have any working experience in using a very hot tub at their home but not coated beneath a Lanai? Striving to determine if we have to devote $8-10k (ouch) on a Lanai extension or simply put in the recent tub on our BBQ patio region https://milobdrdo.vigilwiki.com/6794858/the_fact_about_izmir_pergola_that_no_one_is_suggesting