Hi Fellow Villagers! does everyone have any working experience in using a scorching tub at their property but not coated underneath a Lanai? Attempting to determine if we have to spend $8-10k (ouch) on the Lanai extension or simply just set up the recent tub on our BBQ patio spot https://griffinwmtdl.wikigop.com/1266542/the_fact_about_izmir_pergola_that_no_one_is_suggesting