Hi Fellow Villagers! does anybody have any encounter in utilizing a incredibly hot tub at their household although not covered less than a Lanai? Hoping to determine if we have to devote $eight-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio location https://zanehzvfk.bimmwiki.com/10798069/izmir_pergola_an_overview