Hello fellow Villagers! does anyone have any working experience in employing a very hot tub at their home but not protected less than a Lanai? Attempting to figure out if we must spend $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio https://edgarvyuez.blogcudinti.com/34250259/the-best-side-of-tarpaulin