Hi Fellow Villagers! does any person have any experience in employing a hot tub at their residence although not covered under a Lanai? Attempting to figure out if we have to commit $8-10k (ouch) on the Lanai extension or simply just put in the recent tub on our BBQ patio https://izmirpergola97395.ourabilitywiki.com/9860795/the_smart_trick_of_izmir_awning_that_no_one_is_discussing