Hello Fellow Villagers! does any one have any expertise in utilizing a very hot tub at their household although not included less than a Lanai? Seeking to determine if we have to devote $8-10k (ouch) on a Lanai extension or simply put in the recent tub on our BBQ patio https://cesarmzlwf.tusblogos.com/34434466/the-smart-trick-of-izmir-awning-that-no-one-is-discussing