Hi Fellow Villagers! does everyone have any working experience in using a hot tub at their house but not coated less than a Lanai? Attempting to figure out if we must spend $eight-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio area https://devinnvdhn.wikimeglio.com/9727529/pergola_no_further_a_mystery