Hi fellow Villagers! does everyone have any encounter in using a incredibly hot tub at their home although not covered under a Lanai? Striving to figure out if we need to shell out $8-10k (ouch) on the Lanai extension or merely set up the hot tub on our BBQ patio https://izmir-awning69257.idblogz.com/34661953/pergola-things-to-know-before-you-buy