Hi Fellow Villagers! does anyone have any practical experience in utilizing a hot tub at their household but not included under a Lanai? Attempting to determine if we must expend $8-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ patio region and see https://izmirawning34323.wikigop.com/1271477/a_review_of_pergola