Hi fellow Villagers! does any individual have any encounter in using a warm tub at their home although not included below a Lanai? Hoping to figure out if we must expend $8-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ patio location https://archerlmleb.blgwiki.com/1353067/the_fact_about_izmir_awning_that_no_one_is_suggesting