Hello fellow Villagers! does anyone have any expertise in utilizing a hot tub at their property but not covered underneath a Lanai? Hoping to figure out if we need to expend $8-10k (ouch) on a Lanai extension or simply just set up the new tub on our BBQ patio space https://jasperfdpqo.qodsblog.com/34164676/izmir-pergola-an-overview