Hi Fellow Villagers! does everyone have any practical experience in employing a very hot tub at their house although not lined less than a Lanai? Trying to figure out if we need to commit $8-10k (ouch) on the Lanai extension or merely set up the hot tub on our BBQ https://izmir-awning21915.tnpwiki.com/6714165/the_izmir_pergola_diaries