Hi Fellow Villagers! does anybody have any experience in using a incredibly hot tub at their home but not included beneath a Lanai? Making an attempt to determine if we need to expend $8-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio https://izmirpergola59339.activosblog.com/33067933/5-simple-statements-about-izmir-tente-explained