Hi fellow Villagers! does any one have any knowledge in using a hot tub at their house although not coated underneath a Lanai? Trying to figure out if we need to commit $eight-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio https://izmirpergola76936.wikiannouncing.com/6166022/details_fiction_and_tarpaulin