Hi fellow Villagers! does any one have any practical experience in utilizing a hot tub at their house although not included below a Lanai? Seeking to figure out if we need to expend $eight-10k (ouch) on the Lanai extension or simply set up the recent tub on our BBQ patio https://pergola69580.jts-blog.com/33112481/pergola-things-to-know-before-you-buy