Hi fellow Villagers! does anybody have any working experience in utilizing a hot tub at their dwelling although not lined beneath a Lanai? Hoping to figure out if we have to spend $eight-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ patio area https://izmirtente14792.wikimillions.com/3835927/considerations_to_know_about_izmir_awning