Hi Fellow Villagers! does any one have any expertise in employing a sizzling tub at their house but not covered under a Lanai? Seeking to figure out if we have to invest $8-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio space https://izmirawning58134.jts-blog.com/33164780/the-fact-about-tarpaulin-that-no-one-is-suggesting