Hi Fellow Villagers! does anyone have any working experience in employing a very hot tub at their household although not coated less than a Lanai? Making an attempt to determine if we must expend $8-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio https://izmirpergola42862.wikisona.com/1395502/izmir_awning_secrets