Hi Fellow Villagers! does any individual have any expertise in utilizing a hot tub at their property but not coated beneath a Lanai? Trying to determine if we have to devote $8-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio space https://izmir-tente81248.wikimidpoint.com/5070081/5_essential_elements_for_pergola