Hi Fellow Villagers! does anyone have any practical experience in using a incredibly hot tub at their home although not covered beneath a Lanai? Striving to determine if we need to devote $8-10k (ouch) over a Lanai extension or simply just put in the hot tub on our BBQ patio https://izmirpergola40369.ttblogs.com/13845826/little-known-facts-about-izmir-awning