Hi Fellow Villagers! does everyone have any practical experience in using a warm tub at their home but not lined below a Lanai? Seeking to figure out if we need to commit $8-10k (ouch) on the Lanai extension or perhaps put in the new tub on our BBQ patio spot https://andyxlwgp.gigswiki.com/5543272/izmir_awning_secrets