Hi fellow Villagers! does any individual have any knowledge in utilizing a hot tub at their household but not lined beneath a Lanai? Seeking to determine if we must devote $8-10k (ouch) with a Lanai extension or maybe put in the hot tub on our BBQ patio area and see https://izmir-tente37925.wikinarration.com/6717618/the_fact_about_izmir_pergola_that_no_one_is_suggesting