Hi Fellow Villagers! does any individual have any encounter in employing a very hot tub at their household although not protected beneath a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio https://izmir-awning12333.mappywiki.com/1383079/pergola_options