Hi Fellow Villagers! does anyone have any working experience in utilizing a hot tub at their residence but not lined below a Lanai? Attempting to figure out if we have to spend $8-10k (ouch) on the Lanai extension or perhaps put in the recent tub on our BBQ patio location https://josuethsdm.birderswiki.com/1332028/5_essential_elements_for_tarpaulin