Hi Fellow Villagers! does anybody have any knowledge in using a incredibly hot tub at their home although not protected underneath a Lanai? Making an attempt to determine if we need to commit $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio https://tarpaulin97306.wikicommunication.com/5279004/everything_about_izmir_pergola