Hi fellow Villagers! does anybody have any experience in using a very hot tub at their property although not included below a Lanai? Attempting to determine if we have to shell out $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio location https://izmir-awning60257.ageeksblog.com/33013602/everything-about-izmir-pergola