Hello Fellow Villagers! does anyone have any working experience in using a hot tub at their property but not lined below a Lanai? Hoping to determine if we have to shell out $8-10k (ouch) with a Lanai extension or maybe set up the hot tub on our BBQ patio area https://tarpaulin56777.wikiannouncing.com/6199228/indicators_on_izmir_pergola_you_should_know