Hello fellow Villagers! does any one have any experience in employing a warm tub at their house but not lined less than a Lanai? Trying to figure out if we must expend $8-10k (ouch) on the Lanai extension or just put in the new tub on our BBQ patio region https://elliotmrtuu.ziblogs.com/34107326/the-ultimate-guide-to-izmir-awning