Hi Fellow Villagers! does any individual have any encounter in using a hot tub at their house but not covered under a Lanai? Trying to figure out if we need to invest $eight-10k (ouch) on a Lanai extension or just set up the new tub on our BBQ patio location https://izmir-awning06160.oneworldwiki.com/6662551/the_smart_trick_of_izmir_awning_that_no_one_is_discussing