Hi fellow Villagers! does anybody have any working experience in using a very hot tub at their dwelling but not covered below a Lanai? Hoping to determine if we must spend $eight-10k (ouch) with a Lanai extension or perhaps install the hot tub on our BBQ patio space and see https://izmirawning28046.csublogs.com/41004215/the-fact-about-izmir-awning-that-no-one-is-suggesting