Hello Fellow Villagers! does anyone have any working experience in utilizing a very hot tub at their dwelling but not protected less than a Lanai? Seeking to figure out if we need to devote $8-10k (ouch) on a Lanai extension or just install the hot tub on our BBQ patio https://izmir-pergola19318.onesmablog.com/the-fact-about-tarpaulin-that-no-one-is-suggesting-74640789