Hi fellow Villagers! does any individual have any knowledge in utilizing a incredibly hot tub at their dwelling but not coated below a Lanai? Trying to determine if we have to commit $eight-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio location https://martinrchnr.hamachiwiki.com/1376097/everything_about_izmir_pergola