Hello fellow Villagers! does any individual have any practical experience in employing a sizzling tub at their home but not lined less than a Lanai? Striving to determine if we have to spend $8-10k (ouch) on the Lanai extension or merely install the recent tub on our BBQ patio location https://deanomgas.wikirecognition.com/1400605/the_best_side_of_izmir_pergola