Hello fellow Villagers! does any one have any knowledge in employing a hot tub at their house but not lined less than a Lanai? Attempting to determine if we have to commit $8-10k (ouch) with a Lanai extension or just set up the hot tub on our BBQ patio region https://elliottjvjcj.wikiinside.com/1780171/detailed_notes_on_izmir_pergola