Hi Fellow Villagers! does any one have any experience in using a incredibly hot tub at their house although not covered beneath a Lanai? Trying to determine if we must spend $eight-10k (ouch) on a Lanai extension or simply just set up the hot tub on our BBQ patio space https://jeffreybpzll.wikipowell.com/6125216/fascination_about_pergola