Hi Fellow Villagers! does anyone have any knowledge in employing a incredibly hot tub at their household but not included below a Lanai? Making an attempt to determine if we have to devote $8-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio spot https://pergola24320.onesmablog.com/the-smart-trick-of-izmir-awning-that-no-one-is-discussing-74653462