Hi Fellow Villagers! does everyone have any expertise in utilizing a hot tub at their residence but not coated beneath a Lanai? Attempting to figure out if we need to shell out $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ patio https://finnfgdzt.wiki-jp.com/1374501/top_izmir_tente_secrets