Hi Fellow Villagers! does anybody have any working experience in utilizing a scorching tub at their home but not lined less than a Lanai? Seeking to figure out if we have to invest $8-10k (ouch) on the Lanai extension or merely install the new tub on our BBQ patio area https://izmir-awning51368.wikitron.com/1391676/5_essential_elements_for_pergola