Hello fellow Villagers! does anyone have any knowledge in utilizing a incredibly hot tub at their property although not included less than a Lanai? Striving to figure out if we must expend $8-10k (ouch) on the Lanai extension or merely put in the recent tub on our BBQ patio area https://messiahbbxtn.wikirecognition.com/1401485/a_review_of_pergola