Hello Fellow Villagers! does any one have any encounter in using a hot tub at their residence but not included less than a Lanai? Attempting to determine if we have to commit $8-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio region https://cesarpqmha.scrappingwiki.com/1363012/izmir_pergola_can_be_fun_for_anyone