Hello Fellow Villagers! does anybody have any practical experience in using a very hot tub at their house although not protected less than a Lanai? Attempting to determine if we have to spend $8-10k (ouch) with a Lanai extension or just install the recent tub on our BBQ patio space https://stephenrsnjh.blogrelation.com/40392039/the-best-side-of-tarpaulin