Hi Fellow Villagers! does anyone have any practical experience in employing a hot tub at their property but not coated below a Lanai? Making an attempt to figure out if we must shell out $eight-10k (ouch) over a Lanai extension or just install the hot tub on our BBQ patio https://izmir-pergola29216.wikibestproducts.com/1369053/izmir_pergola_can_be_fun_for_anyone