Hi Fellow Villagers! does any individual have any working experience in using a scorching tub at their household but not lined less than a Lanai? Seeking to determine if we must devote $8-10k (ouch) with a Lanai extension or merely put in the recent tub on our BBQ patio space https://izmirtente51221.wikibuysell.com/1380750/izmir_pergola_an_overview