Hello fellow Villagers! does everyone have any working experience in using a incredibly hot tub at their household but not protected under a Lanai? Hoping to figure out if we have to expend $8-10k (ouch) on the Lanai extension or just put in the new tub on our BBQ patio https://dantezrmdm.homewikia.com/11332216/5_essential_elements_for_tarpaulin