Hi fellow Villagers! does any individual have any experience in using a sizzling tub at their dwelling although not included less than a Lanai? Trying to figure out if we must devote $8-10k (ouch) on the Lanai extension or simply just install the recent tub on our BBQ patio space https://mariotttlc.onesmablog.com/the-smart-trick-of-izmir-awning-that-no-one-is-discussing-74638011