Hi Fellow Villagers! does any one have any experience in employing a very hot tub at their home although not included beneath a Lanai? Striving to determine if we need to devote $8-10k (ouch) on the Lanai extension or maybe put in the recent tub on our BBQ patio space https://izmirpergola28371.techionblog.com/34139001/5-simple-statements-about-izmir-awning-explained