Hi fellow Villagers! does everyone have any practical experience in utilizing a warm tub at their home although not covered beneath a Lanai? Trying to figure out if we need to expend $8-10k (ouch) over a Lanai extension or perhaps set up the new tub on our BBQ patio place https://edwinpnkfm.westexwiki.com/1351062/detailed_notes_on_izmir_pergola