Hello Fellow Villagers! does any individual have any experience in using a very hot tub at their dwelling although not covered under a Lanai? Hoping to figure out if we have to expend $eight-10k (ouch) with a Lanai extension or just install the new tub on our BBQ patio area https://remingtonixisb.idblogmaker.com/33318149/pergola-options