Hello fellow Villagers! does any person have any experience in using a incredibly hot tub at their home although not lined below a Lanai? Trying to determine if we need to devote $8-10k (ouch) on the Lanai extension or merely put in the recent tub on our BBQ patio area https://tarpaulin74702.theideasblog.com/34675557/the-smart-trick-of-izmir-awning-that-no-one-is-discussing