Hi Fellow Villagers! does any person have any encounter in employing a incredibly hot tub at their residence although not coated less than a Lanai? Attempting to determine if we need to spend $8-10k (ouch) on a Lanai extension or simply install the hot tub on our BBQ patio spot https://tarpaulin94691.wikiinside.com/1780757/detailed_notes_on_izmir_pergola