Hello Fellow Villagers! does everyone have any practical experience in utilizing a warm tub at their dwelling but not lined underneath a Lanai? Trying to figure out if we have to spend $8-10k (ouch) over a Lanai extension or simply install the recent tub on our BBQ patio location and https://arthurnswxz.wikigiogio.com/1363901/pergola_options