Hello Fellow Villagers! does anyone have any working experience in employing a incredibly hot tub at their house although not coated below a Lanai? Seeking to determine if we have to commit $eight-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ patio space https://griffingijoi.wikitelevisions.com/7386369/izmir_awning_secrets