Hi Fellow Villagers! does any one have any experience in employing a hot tub at their house although not lined below a Lanai? Seeking to figure out if we must spend $8-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio spot and see https://dominickzglor.wikiconverse.com/5429139/5_essential_elements_for_tarpaulin