Hello Fellow Villagers! does anybody have any practical experience in utilizing a hot tub at their house but not covered below a Lanai? Striving to figure out if we must expend $eight-10k (ouch) on the Lanai extension or merely set up the hot tub on our BBQ patio place and https://sergiocfuuh.wikitidings.com/6307950/the_smart_trick_of_izmir_awning_that_no_one_is_discussing