Hi Fellow Villagers! does anyone have any expertise in employing a warm tub at their house but not covered less than a Lanai? Trying to determine if we have to expend $eight-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio location and see https://marcofhsoh.gynoblog.com/33248795/izmir-awning-secrets