Hi Fellow Villagers! does any person have any expertise in using a incredibly hot tub at their household although not coated less than a Lanai? Seeking to figure out if we must commit $eight-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio https://kameronneoyc.oneworldwiki.com/6663167/little_known_facts_about_izmir_awning