Hi fellow Villagers! does any individual have any working experience in employing a very hot tub at their property although not covered less than a Lanai? Hoping to figure out if we have to spend $8-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ https://izmir-pergola08417.ampblogs.com/how-izmir-tente-can-save-you-time-stress-and-money-70872983