Hi Fellow Villagers! does everyone have any expertise in using a very hot tub at their dwelling but not included less than a Lanai? Attempting to determine if we have to commit $eight-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio space https://simonwzwtl.ziblogs.com/34092710/the-izmir-pergola-diaries