Hi fellow Villagers! does any one have any practical experience in utilizing a very hot tub at their dwelling but not included underneath a Lanai? Seeking to figure out if we must expend $8-10k (ouch) on the Lanai extension or simply just set up the recent tub on our BBQ https://jasperbzmxh.wikidank.com/1335554/the_fact_about_izmir_pergola_that_no_one_is_suggesting