Hello fellow Villagers! does any one have any practical experience in using a incredibly hot tub at their dwelling although not coated below a Lanai? Attempting to figure out if we must spend $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio https://gregoryjbgog.blogs100.com/34667146/the-fact-about-tarpaulin-that-no-one-is-suggesting