Hi Fellow Villagers! does any one have any working experience in employing a warm tub at their residence although not included underneath a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or simply just install the recent tub on our BBQ patio place https://pergola34986.wikirecognition.com/1400456/the_fact_about_izmir_pergola_that_no_one_is_suggesting