Hello fellow Villagers! does everyone have any expertise in using a incredibly hot tub at their household but not covered below a Lanai? Striving to figure out if we need to shell out $8-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio area https://izmirtente03691.sharebyblog.com/34029139/the-fact-about-izmir-pergola-that-no-one-is-suggesting