Hello Fellow Villagers! does everyone have any working experience in using a very hot tub at their home but not protected underneath a Lanai? Striving to determine if we must expend $8-10k (ouch) on a Lanai extension or just install the new tub on our BBQ patio spot and see https://izmirtente14432.wikipresses.com/5342859/everything_about_izmir_pergola