Hello fellow Villagers! does anybody have any experience in using a very hot tub at their household but not lined less than a Lanai? Seeking to figure out if we must spend $8-10k (ouch) with a Lanai extension or just put in the recent tub on our BBQ patio area https://elliottctgqa.wiki-cms.com/7450221/pergola_options