Hello Fellow Villagers! does any one have any knowledge in employing a very hot tub at their residence although not coated below a Lanai? Hoping to figure out if we need to devote $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio https://izmirpergola39157.ssnblog.com/33191096/5-simple-statements-about-izmir-awning-explained