Hello fellow Villagers! does any individual have any working experience in employing a very hot tub at their household but not covered under a Lanai? Seeking to figure out if we have to spend $eight-10k (ouch) with a Lanai extension or perhaps put in the recent tub on our BBQ https://cristiancdawo.wikicorrespondent.com/6178710/detailed_notes_on_tarpaulin