Hi Fellow Villagers! does any one have any expertise in using a very hot tub at their household but not lined under a Lanai? Trying to figure out if we need to devote $8-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ patio https://tarpaulin62592.birderswiki.com/1322304/5_tips_about_tarpaulin_you_can_use_today