Hi Fellow Villagers! does everyone have any knowledge in employing a very hot tub at their home although not covered under a Lanai? Seeking to figure out if we have to spend $8-10k (ouch) over a Lanai extension or maybe set up the new tub on our BBQ patio place https://gunnerqgrbl.wikimeglio.com/9729297/the_best_side_of_tarpaulin