Hi Fellow Villagers! does anyone have any experience in utilizing a incredibly hot tub at their house but not included under a Lanai? Trying to figure out if we must shell out $8-10k (ouch) on a Lanai extension or just set up the hot tub on our BBQ patio location https://izmir-tente57406.wikitidings.com/6290437/the_smart_trick_of_izmir_awning_that_no_one_is_discussing