Hello fellow Villagers! does any person have any encounter in using a hot tub at their home although not coated below a Lanai? Trying to determine if we have to shell out $eight-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ patio location https://izmir-tente51469.wiki-jp.com/1356421/izmir_pergola_can_be_fun_for_anyone