Hi Fellow Villagers! does any individual have any knowledge in using a hot tub at their property although not covered under a Lanai? Seeking to determine if we have to devote $8-10k (ouch) over a Lanai extension or perhaps install the hot tub on our BBQ patio spot and see https://tarpaulin93344.wikinewspaper.com/3690293/fascination_about_pergola