Hi fellow Villagers! does any individual have any experience in utilizing a very hot tub at their residence but not coated below a Lanai? Hoping to determine if we need to expend $eight-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ patio location https://deanhcqsv.tdlwiki.com/1364198/tarpaulin_can_be_fun_for_anyone