Hello fellow Villagers! does everyone have any experience in utilizing a very hot tub at their residence although not covered less than a Lanai? Hoping to figure out if we need to expend $eight-10k (ouch) with a Lanai extension or simply set up the new tub on our BBQ patio https://cashwzvrl.nico-wiki.com/1355593/detailed_notes_on_tarpaulin