Hello fellow Villagers! does any individual have any expertise in utilizing a hot tub at their home although not protected beneath a Lanai? Hoping to figure out if we need to devote $8-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio area https://rylanzbvsl.wizzardsblog.com/34098604/tarpaulin-secrets