Hi Fellow Villagers! does any person have any knowledge in utilizing a incredibly hot tub at their household although not covered less than a Lanai? Trying to determine if we have to devote $8-10k (ouch) on a Lanai extension or just put in the new tub on our BBQ patio https://tarpaulin29789.wikiconverse.com/5430858/rumored_buzz_on_tarpaulin