Hi fellow Villagers! does anybody have any working experience in utilizing a incredibly hot tub at their house but not coated less than a Lanai? Trying to figure out if we have to expend $eight-10k (ouch) on the Lanai extension or just install the recent tub on our BBQ patio https://izmirtente93398.angelinsblog.com/33156092/how-tarpaulin-can-save-you-time-stress-and-money