Hi Fellow Villagers! does any person have any expertise in utilizing a hot tub at their residence although not included below a Lanai? Seeking to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio spot https://franciscokniea.blogsmine.com/34629395/izmir-pergola-can-be-fun-for-anyone