Hello Fellow Villagers! does anyone have any expertise in employing a incredibly hot tub at their household but not protected below a Lanai? Attempting to figure out if we have to commit $8-10k (ouch) over a Lanai extension or just set up the hot tub on our BBQ patio space https://izmirtente58899.csublogs.com/41216947/pergola-options