Hello fellow Villagers! does any individual have any practical experience in using a warm tub at their dwelling although not included underneath a Lanai? Striving to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio https://holdenzcaxs.fliplife-wiki.com/3908607/indicators_on_izmir_pergola_you_should_know