Hi Fellow Villagers! does anybody have any knowledge in utilizing a incredibly hot tub at their home although not lined less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio spot https://izmir-tente94814.wikilima.com/1254841/pergola_options