Hi fellow Villagers! does any person have any encounter in using a hot tub at their residence but not covered under a Lanai? Attempting to figure out if we must devote $eight-10k (ouch) on the Lanai extension or simply install the new tub on our BBQ patio place and see https://izmir-awning52851.shoutmyblog.com/33353643/the-izmir-pergola-diaries