Hi fellow Villagers! does any one have any practical experience in using a incredibly hot tub at their house although not included underneath a Lanai? Trying to determine if we need to expend $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio https://andersonzptis.thezenweb.com/pergola-things-to-know-before-you-buy-72050556