Hi Fellow Villagers! does any individual have any encounter in utilizing a hot tub at their household but not protected less than a Lanai? Trying to determine if we have to shell out $8-10k (ouch) on a Lanai extension or just set up the hot tub on our BBQ patio https://izmirtente35677.buscawiki.com/1363200/izmir_awning_secrets