Hi Fellow Villagers! does everyone have any working experience in using a very hot tub at their property but not protected less than a Lanai? Seeking to determine if we have to shell out $8-10k (ouch) over a Lanai extension or perhaps put in the hot tub on our BBQ https://donovanjnozs.madmouseblog.com/14575966/the-definitive-guide-to-izmir-tente