Hi Fellow Villagers! does everyone have any encounter in employing a hot tub at their house but not lined less than a Lanai? Trying to figure out if we need to commit $8-10k (ouch) on the Lanai extension or merely put in the new tub on our BBQ patio place https://judahbozbe.blogars.com/33072988/the-basic-principles-of-izmir-tente