Hi fellow Villagers! does any individual have any knowledge in using a hot tub at their dwelling but not lined underneath a Lanai? Hoping to figure out if we must devote $8-10k (ouch) with a Lanai extension or simply just install the hot tub on our BBQ patio area and https://messiahcvteq.wikistatement.com/4680600/izmir_awning_secrets