Hi Fellow Villagers! does anyone have any expertise in employing a very hot tub at their residence but not covered less than a Lanai? Striving to figure out if we need to spend $8-10k (ouch) on the Lanai extension or maybe install the recent tub on our BBQ patio space https://beckettbshyh.onzeblog.com/34197459/5-simple-statements-about-izmir-awning-explained