Hi Fellow Villagers! does anyone have any knowledge in utilizing a warm tub at their household although not covered less than a Lanai? Hoping to figure out if we must invest $8-10k (ouch) on a Lanai extension or maybe set up the hot tub on our BBQ patio space and https://rylanhfduo.nico-wiki.com/1354525/not_known_facts_about_izmir_pergola