Hi Fellow Villagers! does anyone have any knowledge in using a very hot tub at their residence but not included underneath a Lanai? Seeking to figure out if we must devote $eight-10k (ouch) with a Lanai extension or maybe set up the hot tub on our BBQ patio region and https://manueluzddu.wikirecognition.com/1387925/pergola_no_further_a_mystery