Hello fellow Villagers! does anybody have any working experience in using a very hot tub at their residence but not included below a Lanai? Hoping to figure out if we need to commit $eight-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio https://knoxopsiv.blogolenta.com/30962117/the-izmir-pergola-diaries