Hi fellow Villagers! does anyone have any experience in employing a warm tub at their house but not included under a Lanai? Hoping to determine if we have to spend $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio area and find https://cesarxoalu.webbuzzfeed.com/34660329/a-review-of-pergola