Hi Fellow Villagers! does any individual have any knowledge in using a very hot tub at their house but not coated less than a Lanai? Hoping to figure out if we have to devote $eight-10k (ouch) with a Lanai extension or perhaps install the hot tub on our BBQ patio https://izmirpergola88888.howeweb.com/34763875/tarpaulin-options