Hello fellow Villagers! does any individual have any working experience in using a incredibly hot tub at their residence but not covered underneath a Lanai? Seeking to figure out if we have to expend $8-10k (ouch) on the Lanai extension or simply put in the new tub on our BBQ https://tarpaulin15936.wikiinside.com/1797579/detailed_notes_on_tarpaulin