Hi Fellow Villagers! does everyone have any practical experience in using a hot tub at their home but not included below a Lanai? Trying to figure out if we must shell out $8-10k (ouch) on a Lanai extension or simply just install the hot tub on our BBQ patio place https://izmirpergola64962.wikiitemization.com/4912598/tarpaulin_secrets