Hello Fellow Villagers! does any person have any experience in using a hot tub at their home although not lined less than a Lanai? Seeking to determine if we need to devote $eight-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ patio space https://gunneroqnjc.birderswiki.com/1331873/the_izmir_pergola_diaries