Hello Fellow Villagers! does everyone have any expertise in employing a very hot tub at their household although not protected under a Lanai? Hoping to figure out if we need to devote $8-10k (ouch) on the Lanai extension or merely put in the new tub on our BBQ patio location https://pergola33687.idblogz.com/34534431/the-izmir-pergola-diaries