Hello fellow Villagers! does any person have any expertise in using a very hot tub at their residence although not protected under a Lanai? Seeking to figure out if we have to spend $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio https://dominickiigdx.wikicorrespondence.com/4657077/detailed_notes_on_tarpaulin