Hi fellow Villagers! does any person have any experience in using a hot tub at their residence but not included beneath a Lanai? Striving to determine if we have to commit $8-10k (ouch) on the Lanai extension or perhaps install the hot tub on our BBQ patio place and see https://izmir-tente04602.ltfblog.com/33058834/pergola-options