Hi Fellow Villagers! does any one have any knowledge in employing a hot tub at their home but not lined less than a Lanai? Hoping to determine if we must commit $8-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio region and see https://izmir-awning67777.wikiparticularization.com/1385514/fascination_about_pergola