Hello fellow Villagers! does anyone have any knowledge in utilizing a warm tub at their house but not coated below a Lanai? Striving to determine if we must commit $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ patio space and see https://codymnlhb.wikibestproducts.com/1382660/the_ultimate_guide_to_izmir_awning