Hi Fellow Villagers! does any individual have any knowledge in utilizing a hot tub at their house although not covered below a Lanai? Hoping to figure out if we must shell out $eight-10k (ouch) over a Lanai extension or maybe install the new tub on our BBQ patio area and https://gregoryhqvac.wikijm.com/1369147/considerations_to_know_about_izmir_awning