Hi Fellow Villagers! does any individual have any expertise in using a incredibly hot tub at their residence but not coated less than a Lanai? Attempting to determine if we must devote $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio area https://collinuavrn.blogs100.com/34589799/the-fact-about-tarpaulin-that-no-one-is-suggesting