Hi fellow Villagers! does anyone have any expertise in using a incredibly hot tub at their dwelling although not covered beneath a Lanai? Trying to determine if we must expend $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio space and see https://gregorylwbgi.vigilwiki.com/6791780/details_fiction_and_tarpaulin