Hello fellow Villagers! does any one have any knowledge in using a incredibly hot tub at their house although not coated underneath a Lanai? Seeking to figure out if we must shell out $8-10k (ouch) over a Lanai extension or maybe install the new tub on our BBQ patio space https://elliotqmdbu.blogscribble.com/34078612/rumored-buzz-on-tarpaulin