Hello fellow Villagers! does anybody have any working experience in using a very hot tub at their home but not coated below a Lanai? Making an attempt to determine if we must shell out $eight-10k (ouch) on the Lanai extension or maybe put in the recent tub on our BBQ https://izmirtente73592.wikikali.com/1251804/the_fact_about_izmir_awning_that_no_one_is_suggesting