Hi fellow Villagers! does everyone have any experience in utilizing a warm tub at their household but not included under a Lanai? Hoping to determine if we must expend $eight-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio spot and see In https://pergola06046.wikissl.com/1365806/the_best_side_of_izmir_pergola