Hi fellow Villagers! does everyone have any working experience in employing a incredibly hot tub at their household although not included under a Lanai? Seeking to figure out if we have to expend $eight-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio https://tysonoffeo.ziblogs.com/34194051/the-izmir-pergola-diaries