Hi fellow Villagers! does any one have any practical experience in using a warm tub at their house but not lined beneath a Lanai? Seeking to figure out if we must spend $eight-10k (ouch) on a Lanai extension or simply just set up the recent tub on our BBQ patio https://izmirpergola53951.wikimidpoint.com/5048689/the_fact_about_izmir_pergola_that_no_one_is_suggesting