Hello Fellow Villagers! does any person have any experience in using a hot tub at their home although not coated under a Lanai? Seeking to figure out if we need to devote $eight-10k (ouch) with a Lanai extension or perhaps put in the recent tub on our BBQ patio space https://edwinxwbwp.angelinsblog.com/33231133/pergola-things-to-know-before-you-buy