Hi fellow Villagers! does anybody have any expertise in employing a hot tub at their home although not covered under a Lanai? Attempting to figure out if we must devote $8-10k (ouch) on the Lanai extension or maybe install the recent tub on our BBQ patio space and see if https://messiahtyaba.answerblogs.com/34352421/the-basic-principles-of-izmir-tente