Hello Fellow Villagers! does anybody have any working experience in employing a very hot tub at their residence but not coated below a Lanai? Striving to figure out if we must expend $8-10k (ouch) with a Lanai extension or just set up the new tub on our BBQ patio area https://rafaeltvwvq.pennywiki.com/4584356/the_best_side_of_tarpaulin