Hi fellow Villagers! does any person have any experience in using a incredibly hot tub at their residence although not covered under a Lanai? Striving to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or perhaps install the hot tub on our BBQ patio https://donovanybzvq.eqnextwiki.com/4842259/izmir_pergola_an_overview