Hi fellow Villagers! does everyone have any expertise in utilizing a hot tub at their house although not coated less than a Lanai? Striving to figure out if we must spend $8-10k (ouch) with a Lanai extension or merely install the hot tub on our BBQ patio area and see https://andersonssnia.wikimillions.com/3832735/5_simple_statements_about_izmir_awning_explained