Hi Fellow Villagers! does anyone have any experience in utilizing a warm tub at their house although not covered beneath a Lanai? Hoping to figure out if we have to devote $8-10k (ouch) on the Lanai extension or merely set up the recent tub on our BBQ patio region and https://pergola04691.ourcodeblog.com/34265475/pergola-no-further-a-mystery