Hello Fellow Villagers! does any one have any working experience in utilizing a hot tub at their dwelling but not protected below a Lanai? Trying to figure out if we must expend $8-10k (ouch) over a Lanai extension or perhaps set up the recent tub on our BBQ patio location https://cesarnpjdw.techionblog.com/34197375/considerations-to-know-about-izmir-awning