Hello Fellow Villagers! does any person have any practical experience in employing a very hot tub at their household although not included beneath a Lanai? Hoping to determine if we need to spend $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio https://izmirtente17036.wikiusnews.com/1386528/pergola_no_further_a_mystery