Hi fellow Villagers! does anybody have any working experience in employing a incredibly hot tub at their property but not covered under a Lanai? Hoping to determine if we must spend $8-10k (ouch) on a Lanai extension or simply set up the hot tub on our BBQ patio space and https://izmirtente78900.pages10.com/little-known-facts-about-izmir-awning-69471879