Hello fellow Villagers! does everyone have any practical experience in employing a incredibly hot tub at their home although not lined below a Lanai? Seeking to determine if we need to commit $8-10k (ouch) with a Lanai extension or maybe put in the hot tub on our BBQ patio space https://izmir-tente19603.wikiexpression.com/4352352/tarpaulin_options